Digitalni repozitorijum
Univerziteta u Beogradu
{{ mc.sd.lang | uppercase }}
Реферат о завршеној докторској дисертацији Сане Стојановић "Формализација и аутоматско доказивање теорема еуклидске геометрије"
Janičić, Predrag, 1968-
Lučić, Zoran, 1952-
Marić, Filip, 1978-
Borisavljević, Mirjana, 1965-
Narboux, Julien.
Izveštaj Komisije za ocenu doktorske disertacije Sane Stojanović "Formalizacija i automatsko dokazivanje teorema euklidske geometrije"
srpski
2016
© All rights reserved
Stojanović, Sana, 1981- – Doktorska disertacija – Izveštaji