Rezultati
| Naziv: | Projekat nastavno orijentisanog sistema za automatsko dokazivanje teorema | Autori: | Berković, Ivana   |
Godina: | 1992 | Izdavač: | Zrenjanin, Srbija: Tehnički fakultet "Mihajlo Pupin" Zrenjanin | Tip rezultata: | Poglavlje u monografiji | ISBN: | 86-80711-10-1  Pretraži identifikator |
Kolacija: | vol. 3 str. 48-56 | URI: | https://enauka.gov.rs/handle/123456789/974537 | Izvor metapodataka: | (Preuzeto iz KNR-a) Berković, Ivana | Napomena o dostupnosti: | Пуни текст је доступан само у штампаној форми | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Google ScholarTM
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.