Библиотека Математичког факултета Универзитета у Београду
Електронски каталог
powered by PMB
Author details
Author Irena PEVAC |
Available item(s) by this author
Refine your search Apply to external sources
Dokazivanje teorema prirodnim izvodjenjem uz pomoć računara / Irena PEVAC
Title : Dokazivanje teorema prirodnim izvodjenjem uz pomoć računara : Doktorska disertacija Material Type: printed text Authors: Irena PEVAC Publisher: Beograd : Univerzitet u Beogradu, Matematički fakultet Publication Date: 1987 Pagination: 163 str. General note: Pergam ID: DO 90 Languages : Serbo-Croatian (scr) 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 item
Copies (1)
Barcode Call number Media type Location Section Status dok. 206 dok. 206 unknown / unknown Disertacije matematika disertacije matematika u fondu
Available