Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Author details
Author Sana N. STOJANOVIĆ |
Available item(s) by this author
Refine your search Apply to external sources
Formalizacija i automatsko dokazivanje teorema euklidske geometrije / Sana N. STOJANOVIĆ
Title : Formalizacija i automatsko dokazivanje teorema euklidske geometrije : Doktorska disertacija Material Type: printed text Authors: Sana N. STOJANOVIĆ Publisher: Beograd : Univerzitet u Beogradu, Matematički fakultet Publication Date: 2016 Pagination: 150 str. General note: Pergam ID: DO 401 Languages : (scc) 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 item
Copies (1)
Barcode Call number Media type Location Section Status dok. 402 dok. 402 unknown / unknown Disertacije matematika disertacije matematika u fondu
Available