Grupo de Informática de la Universidad de La Rioja
Psycotrip
University of Edinburgh
Edimburgo, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Edinburgh (2)
2013
-
Proof-pattern recognition and lemma discovery in ACL2
Lecture Notes in Computer Science, Vol. 8312 LNCS, pp. 389-406
1994
-
Supporting dynamic displays using active rules
SIGMOD Record, Vol. 12, Núm. 2, pp. 180-193