Antonio Gavilanes
发表
Roberto Torres,
Pedro J. Martín,
Luis F. Ayuso,
2012,
2012 International Conference on High Performance Computing & Simulation (HPCS).
Roberto Torres,
Pedro J. Martín,
Antonio Gavilanes,
2011,
GRAPP.
Pedro J. Martín,
Antonio Gavilanes,
Antonio Gavilanes,
2000,
TABLEAUX.
Pedro J. Martín,
Antonio Gavilanes,
Roberto Torres,
2009,
ICCS.
Pedro J. Martín,
Antonio Gavilanes,
Antonio Gavilanes,
2001,
Log. J. IGPL.
Roberto Torres,
Pedro J. Martín,
Antonio Gavilanes,
2012,
CEIG.
Susana Nieva,
Pedro J. Martín,
Antonio Gavilanes,
1996,
AISMC.
Pedro J. Martín,
Antonio Gavilanes,
Antonio Gavilanes,
1996,
APPIA-GULP-PRODE.
Pedro J. Martín,
Antonio Gavilanes,
Antonio Gavilanes,
2002,
Stud Logica.
Pedro J. Martín,
Antonio Gavilanes,
Antonio Gavilanes,
2000,
JELIA.
Pedro J. Martín,
Antonio Gavilanes,
Javier Leach Albert,
2000,
J. Symb. Comput..
Pedro J. Martín,
Antonio Gavilanes,
Javier Leach Albert,
1998,
TABLEAUX.