J. Ruiz-Reina
发表
F. Martín-Mateos,
J. Rubio,
Laureano Lambán,
2011,
Annals of Mathematics and Artificial Intelligence.
José-Luis Ruiz-Reina,
Panagiotis Manolios,
Robert W. Sumners,
2008,
J. Funct. Program..
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.
José-Luis Ruiz-Reina,
Inmaculada Medina-Bulo,
Francisco Palomo-Lozano,
2010,
J. Symb. Comput..
Francisco-Jesús Martín-Mateos,
José-Luis Ruiz-Reina,
José-Antonio Alonso,
2003
.
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.
J. Alonso,
J.-L. Ruiz-Reina,
J.-A. Alonso,
2004
.
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.