Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Dokazivanje teorema prirodnim izvodjenjem uz pomoć računara / Irena PEVAC
Dokazivanje teorema prirodnim izvodjenjem uz pomoć računara : Doktorska disertacija [printed text] / Irena PEVAC . - Beograd : Univerzitet u Beogradu, Matematički fakultet, 1987 . - 163 str. Pergam ID: DO 90 Languages : Serbo-Croatian (scr) |
Hold
Place a hold on this itemCopies (1)
Barcode | Call number | Media type | Location | Section | Status |
---|---|---|---|---|---|
dok. 206 | dok. 206 | unknown / unknown | Disertacije matematika | disertacije matematika | u fondu Available |