J. Alonso
发表
E. Roanes-Lozano,
A. Hernando,
J. Alonso,
2014
.
J. Alonso,
J.-L. Ruiz-Reina,
J.-A. Alonso,
2004
.
Luis M. Laita,
L. M. Laita,
E. Roanes-Lozano,
2011
.
José-Antonio Alonso,
María-José Hidalgo,
J. Alonso,
2004
.
Francisco-Jesús Martín-Mateos,
José-Antonio Alonso,
Manuel Palomo,
2005,
EUROCAST.
Antonio Hernando,
Eugenio Roanes-Lozano,
José-Antonio Alonso,
2014,
Math. Comput. Simul..
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2006,
Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2002,
Annals of Mathematics and Artificial Intelligence.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2000,
AISC.
Joaquín Borrego-Díaz,
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
2007,
TPHOLs.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2001,
EUROCAST.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2003
.
J. Alonso,
Antonio Hernando,
Eugenio Roanes-Lozano,
2013,
Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2003,
LPAR.
Fernando Martin,
José-Luis Ruiz-Reina,
María-José Hidalgo,
2000,
ACL 2000.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2005,
Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2002,
LOPSTR.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2005,
Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2003,
CAEPIA.
Francisco-Jesús Martín-Mateos,
Mario J. Pérez-Jiménez,
José-Antonio Alonso,
2002
.