Jonathan
Heras Vicente
PROFESOR TITULAR DE UNIVERSIDAD
University of Edinburgh
Edimburgo, Reino UnidoUniversity of Edinburgh-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2013
-
Proof-pattern recognition and lemma discovery in ACL2
Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406