Резултати
| Назив: | Automated proof by reverse mathematical induction | Аутори: | Ognjenović, Višnja   ; Hotomski, Petar |
Година: | 2006 | Публикација: | Conference on Applied Mathematics "PRIM", 17, Kragujevac, Srbija, 2006, 25. sep - 27. sep | Издавач: | Department of Mathematics and Informatics Novi Sad 2007 | Тип резултата: | Конференцијски рад | Колација: | str. 21-30 | VBS COBISS: | 514162581 | URI: | https://enauka.gov.rs/handle/123456789/885908 | Извор метаподатака: | (Preuzeto iz KNR-a) Ognjenović, Višnja | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.