Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/1542| Title: | Portfolio Methods in Theorem Proving for Elementary Geometry | Authors: | Marinković, Vesna Nikolić, Mladen Zoltan Kovacs Janičić, Predrag |
Affiliations: | Informatics and Computer Science Informatics and Computer Science Informatics and Computer Science |
Issue Date: | 2016 | Rank: | M33 | Publisher: | Hall Open Science, University of Strasbourg | Related Publication(s): | 11th International Workshop on Automated Deduction in Geometry ADG 2016 : Proceedings | Conference: | International Workshop on Automated Deduction in Geometry ADG 2016(11 ; 2016 ; Strasbourg) | URI: | https://research.matf.bg.ac.rs/handle/123456789/1542 |
| Appears in Collections: | Research outputs |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.