Резултати
| Назив: | Portfolio Methods in Theorem Proving for Elementary Geometry | Аутори: | Marinković Pavlović, Vesna   ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag |
Година: | 2016 | Публикација: | Eleventh International Workshop on Automated Deduction in Geometry | Издавач: | HAL Inria/Universtity of Strasbourg, Francuska | Тип резултата: | Конференцијски рад | Колација: | vol. 1334334 str. 152-161 | URI: | https://enauka.gov.rs/handle/123456789/225081 | URL: | https://hal.inria.fr/hal-01334334 | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.