Rezultati
| Naziv: | Automated proof by reverse mathematical induction | Autori: | Ognjenović, Višnja   ; Hotomski, Petar |
Godina: | 2006 | Publikacija: | Conference on Applied Mathematics "PRIM", 17, Kragujevac, Srbija, 2006, 25. sep - 27. sep | Izdavač: | Department of Mathematics and Informatics Novi Sad 2007 | Tip rezultata: | Konferencijski rad | Kolacija: | str. 21-30 | VBS COBISS: | 514162581 | URI: | https://enauka.gov.rs/handle/123456789/885908 | Izvor metapodataka: | (Preuzeto iz KNR-a) Ognjenović, Višnja | 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.