Резултати
| Назив: | Usmeravanje pretrage u automatskom dokazivanju teorema Guiding search in automated theorem proving |
Аутори: | Nikolić, Mladen S.   |
Ментор: | Janičić, Predrag |
Остала ауторства: | Marić, Filip ; Ognjanović, Zoran |
Година: | 2013 | Публикација: | Универзитет у Београду | Издавач: | Универзитет у Београду, Математички факултет | Тип резултата: | Докторска дисертација | Колација: | str. 133 str. | VBS COBISS: | 44729359 | URI: | http://eteze.bg.ac.rs/application/showtheses?thesesId=1179 https://nardus.mpn.gov.rs/handle/123456789/2846 https://fedorabg.bg.ac.rs/fedora/get/o:8050/bdef:Content/download https://enauka.gov.rs/handle/123456789/195367 |
Пројекат: | Automatsko rezonovanje i istraživanje podataka (RS-174021) | М-категорија: | 70M70 - Одбрањена докторска дисертација |
Google ScholarTM