Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/2672| Title: | Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs | Authors: | Stojanović-Djurdjević. Sana | Affiliations: | Informatics and Computer Science | Issue Date: | 2013 | Rank: | M33 | Publisher: | Springer | Related Publication(s): | 9th International Workshop Automated Deduction in Geometry ADG 2012, Edinburgh | Conference: | International Workshop Automated Deduction in Geometry ADG (9 ; 2012 ; Edinburgh) | URI: | https://research.matf.bg.ac.rs/handle/123456789/2672 | DOI: | 10.1007/978-3-642-40672-0_12 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.