Results
| Title: | Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije | Authors: | Stojanović Đurđević, Sana   |
Issue Date: | 2016 | Publication: | Info M | ISSN: | 1451-4397 Info M Search Idenfier |
Publisher: | Fakultet organizacionih nauka | Type: | Article | Collation: | vol. 58 str. 11-19 | URI: | https://enauka.gov.rs/handle/123456789/352720 | URL: | http://www.infom.org.rs/brojeviNovi/2016-58.html | Metadata source: | Migrirano iz RIS podataka | M-category: | 52M52 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.