Резултати
Назив: | Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije | Аутори: | Stojanović Đurđević, Sana | Година: | 2016 | Публикација: | Info M | ISSN: | 1451-4397 Info M Претражи идентификатор | Издавач: | Fakultet organizacionih nauka | Тип резултата: | Научни чланак | Колација: | vol. 58 str. 11-19 | URI: | https://enauka.gov.rs/handle/123456789/352720 | URL: | http://www.infom.org.rs/brojeviNovi/2016-58.html | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | 52M52 - Рад у истакнутом нац. часопису |
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.