José Alberto Maestro Prieto

Publication Activity (10 Years)

Years Active: 2000-2013
Publications (10 Years): 0

Top Topics

Computational Logic

Management Science

Top Venues

Publications

José Alberto Maestro Prieto, María Aránzazu Simón Hurtado
SLI: a tool for easing the understanding of automated proof construction. Inroads 4 (2) (2013)
José Alberto Maestro Prieto, María Aránzazu Simón Hurtado, Juan F. De Paz Santana, Gabriel Villarrubia-González
A MAS for Teaching Computational Logic. DCAI (2013)
Alejandra Martínez-Monés, María Aránzazu Simón Hurtado, José Alberto Maestro Prieto, Mario López, Carlos Alonso González
Student Modelling and Interface Design in SIAL. Intelligent Tutoring Systems (2000)