Results
| Title: | Projekat nastavno orijentisanog sistema za automatsko dokazivanje teorema | Authors: | Berković, Ivana   |
Issue Date: | 1992 | Publisher: | Zrenjanin, Srbija: Tehnički fakultet "Mihajlo Pupin" Zrenjanin | Type: | Book parts | ISBN: | 86-80711-10-1  Search Idenfier |
Collation: | vol. 3 str. 48-56 | URI: | https://enauka.gov.rs/handle/123456789/974537 | Metadata source: | (Preuzeto iz KNR-a) Berković, Ivana | Availability note: | Пуни текст је доступан само у штампаној форми | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.