Ognjanović, Zoran

Сарадња

Година од:

Година до:

Филтрирано по:

???jsp.search.filter.citation_category???: M22

Година: 2022

Година	Наслов	Аутор(и)	Тип резултата	Мп-кат.
2022	A logic of interactive proofs (✓)	Lehnherr, David; Ognjanović, Zoran ; Studer, Thomas	Научни чланак	22M22 - Рад у истакнутом међ. часопису