еНаука - преглед

Преглед према Пројекат Swiss National Science Foundation [SCOPES IZ73Z0_127979/1]

Приказ резултата 1 до 1 од 1
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna N.  Naučni članak
23M23 - Međunarodni časopis kategorije M23