Proof-pattern recognition and lemma discovery in ACL2
Paper in proceeding, 2013
Pattern recognition
Lemma discovery
Analogy
Theorem proving
Statistical machine-learning
Author
J. Heras
University of Dundee
E. Komendantskaya
University of Dundee
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
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