Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Author details
Author Danijela SIMIĆ |
Available item(s) by this author
Refine your search Apply to external sources
Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema / Danijela SIMIĆ
Title : Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema : doktorska - disertacija Material Type: printed text Authors: Danijela SIMIĆ Publisher: Beograd : Matematički fakultet Publication Date: 2017 Pagination: 216 str Size: 30 cm Languages : Serbo-Croatian (scr) Formalizacija različitih modela geometrije i primene u verifikaciji automatskih dokazivača teorema : doktorska - disertacija [printed text] / Danijela SIMIĆ . - Beograd : Matematički fakultet, 2017 . - 216 str ; 30 cm.
Languages : Serbo-Croatian (scr)Hold
Place a hold on this item
Copies (1)
Barcode Call number Media type Location Section Status dok. 417 dok. 417 $r non conforme -- Disertacije matematika disertacije matematika u fondu
Available