Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Formalizacija i automatsko dokazivanje teorema euklidske geometrije / Sana N. STOJANOVIĆ
Formalizacija i automatsko dokazivanje teorema euklidske geometrije : Doktorska disertacija [printed text] / Sana N. STOJANOVIĆ . - Beograd : Univerzitet u Beogradu, Matematički fakultet, 2016 . - 150 str. Pergam ID: DO 401 Languages : (scc) |
Hold
Place a hold on this itemCopies (1)
Barcode | Call number | Media type | Location | Section | Status |
---|---|---|---|---|---|
dok. 402 | dok. 402 | unknown / unknown | Disertacije matematika | disertacije matematika | u fondu Available |