F. Martín-Mateos
发表
E. Argente,
V. Botti,
J. Rubio,
2017
.
J. Alonso,
J.-L. Ruiz-Reina,
J.-A. Alonso,
2004
.
F. Martín-Mateos,
J. Rubio,
Laureano Lambán,
2011,
Annals of Mathematics and Artificial Intelligence.
Francisco-Jesús Martín-Mateos,
Mario J. Pérez-Jiménez,
Carmen Graciani Díaz,
2002,
UMC.
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Francisco-Jesús Martín-Mateos,
2009
.
Francisco-Jesús Martín-Mateos,
José-Antonio Alonso,
Manuel Palomo,
2005,
EUROCAST.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
Julio Rubio,
2009,
Calculemus/MKM.
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
.
José A. Alonso-Jiménez,
Joaquín Borrego-Díaz,
Francisco-Jesús Martín-Mateos,
2006,
IEEE Intelligent Systems.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2003,
LPAR.
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
María-José Hidalgo,
2003,
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,
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
.
Francisco-Jesús Martín-Mateos,
Jónathan Heras,
Vico Pascual,
2015,
Applicable Algebra in Engineering, Communication and Computing.