Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
University of Edinburgh
Edimburgo, Reino UnidoPublicacions en col·laboració amb investigadors/es de University of Edinburgh (1)
2013
-
Proof-pattern recognition and lemma discovery in ACL2
Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406