Pretraga
Prikaz rezultata 1-1 od 1
Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema
(Univerzitet u Beogradu - Matematički fakultet, 22-05-2017, Datum odbrane: 08-08-2017)
Prikaz rezultata 1-1 od 1