GONZALO ANTONIO
ARANDA CORRAL
PROFESOR CONTRATADO DOCTOR
Francisco Jesús
Martín Mateos
Publicacions en què col·labora amb Francisco Jesús Martín Mateos (3)
2014
-
Artificial intelligence and symbolic computation: 12th international conference, AISC 2014 Seville, Spain, December 11-13, 2014 proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
KRRT: Knowledge representation and reasoning tutor system
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)