Резултати

eNauka >  Rezultati >  Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije
Naziv: Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije
Autori: Stojanović Đurđević, Sana  
Godina: 2016
Publikacija: Info M
ISSN: 1451-4397 Info M Pretraži identifikator
Izdavač: Fakultet organizacionih nauka
Tip rezultata: Naučni članak
Kolacija: vol. 58 str. 11-19
URI: https://enauka.gov.rs/handle/123456789/352720
URL: http://www.infom.org.rs/brojeviNovi/2016-58.html
Izvor metapodataka: Migrirano iz RIS podataka
M-kategorija: 
52M52 - Nacionalni časopis kategorije M52

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.