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.