Francisco-Jesús Martín-Mateos

发表

María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, 2013, Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, 2000, AISC.
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, 2008, Electron. Notes Theor. Comput. Sci..
José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, 2009 .
Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez, José-Antonio Alonso, 2002 .
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, Julio Rubio, 2013, ISSAC '13.
Francisco-Jesús Martín-Mateos, Jónathan Heras, Vico Pascual, 2015, Applicable Algebra in Engineering, Communication and Computing.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, Julio Rubio, 2009, Calculemus/MKM.
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, 2006, Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, Julio Rubio, 2014, Log. J. IGPL.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, Julio Rubio, 2011, Annals of Mathematics and Artificial Intelligence.
Francisco-Jesús Martín-Mateos, Luis Carlos González Valencia, Rafael Serrano Bello, 2009, CAEPIA.
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, Julio Rubio, 2011, ITP.
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, María-José Hidalgo, 2003, LOPSTR.
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, 2002, Annals of Mathematics and Artificial Intelligence.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, 2003, CAEPIA.
Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, 2009, Journal of Automated Reasoning.
Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez, Carmen Graciani Díaz, 2002, UMC.
Francisco-Jesús Martín-Mateos, José-Antonio Alonso, Manuel Palomo, 2005, EUROCAST.
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, 1999, APPIA-GULP-PRODE.
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, José-Antonio Alonso, 2003 .