Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry
Crossref DOI link: https://doi.org/10.1007/s10472-014-9443-5
Published Online: 2015-01-07
Published Print: 2015-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ðurđević, Sana Stojanović
Narboux, Julien
Janičić, Predrag
Text and Data Mining valid from 2015-01-07