Proof-pattern recognition and lemma discovery in ACL2
Paper i proceeding, 2013
Pattern recognition
Lemma discovery
Analogy
Theorem proving
Statistical machine-learning
Författare
J. Heras
University of Dundee
E. Komendantskaya
University of Dundee
Moa Johansson
Chalmers, Data- och informationsteknik, Programvaruteknik
E. Maclean
University of Edinburgh
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 8312 389-406978-3-642-45220-8 (ISBN)
DOI
10.1007/978-3-642-45221-5_27
ISBN
978-3-642-45220-8