Results
| Title: | Automated proof by reverse mathematical induction | Authors: | Ognjenović, Višnja   ; Hotomski, Petar |
Issue Date: | 2006 | Publication: | Conference on Applied Mathematics "PRIM", 17, Kragujevac, Srbija, 2006, 25. sep - 27. sep | Publisher: | Department of Mathematics and Informatics Novi Sad 2007 | Type: | Conference Paper | Collation: | str. 21-30 | VBS COBISS: | 514162581 | URI: | https://enauka.gov.rs/handle/123456789/885908 | Metadata source: | (Preuzeto iz KNR-a) Ognjenović, Višnja | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.