Prikazano Matematički fakultet od autora "Simić, Danijela"
-
Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema
Simić, Danijela (Univerzitet u Beogradu - Matematički fakultet, 22-05-2017, Datum odbrane: 08-08-2017)