I. Guzmán
发表
Manuel Ojeda-Aciego,
Inmaculada Perez de Guzmán,
Gabriel Aguilera Venegas,
1999,
Soft Comput..
A. Valverde,
M. Ojeda‐Aciego,
I. Guzmán,
2002
.
M. Ojeda-Aciego,
A. Valverde,
M. Ojeda‐Aciego,
2000
.
P. Cordero,
I. Guzmán,
G. Aguilera,
2010
.
Manuel Ojeda-Aciego,
Inmaculada Perez de Guzmán,
Gabriel Aguilera Venegas,
1995,
J. Appl. Non Class. Logics.
A. Valverde,
M. Ojeda‐Aciego,
I. Guzmán,
2000
.
Inmaculada Perez de Guzmán,
Manuel Enciso,
Carlos Rossi,
2007,
Inteligencia Artif..
Inmaculada Perez de Guzmán,
Manuel Enciso,
Carlos Rossi,
2004,
Software & Systems Modeling.
Inmaculada Perez de Guzmán,
Carlos Rossi,
I. Guzmán,
1995,
Log. J. IGPL.
Angel Mora,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2009,
IWANN.
Angel Mora,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2008,
Discret. Appl. Math..
Angel Mora,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2002,
IBERAMIA.
David Pearce,
Inmaculada Perez de Guzmán,
Agustín Valverde,
2000,
TABLEAUX.
Emilio Muñoz-Velasco,
Inmaculada Perez de Guzmán,
Alfredo Burrieza,
2010,
Math. Log. Q..
Emilio Muñoz-Velasco,
Inmaculada Perez de Guzmán,
Alfredo Burrieza,
2009,
Int. J. Comput. Math..
Emilio Muñoz-Velasco,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2006,
IBERAMIA-SBIA.
Pablo Cordero,
Gloria Gutiérrez,
Javier Martínez,
2004,
Annals of Mathematics and Artificial Intelligence.
Pablo Cordero,
G. Gutiérrez,
I. P. de Guzmán,
2004
.
Angel Mora,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2014,
Log. J. IGPL.
Angel Mora,
Pablo Cordero,
Inmaculada Perez de Guzmán,
2011,
2011 IEEE Symposium on Foundations of Computational Intelligence (FOCI).
David Pearce,
Inmaculada Perez de Guzmán,
Agustín Valverde,
2000,
Computational Logic.
A. Valverde,
M. Ojeda‐Aciego,
I. Guzmán,
2002,
Stud Logica.
Manuel Ojeda-Aciego,
Gloria Gutiérrez,
Javier Martínez,
2000,
JELIA.
Inmaculada Perez de Guzmán,
Alfredo Burrieza,
Inmaculada Fortes,
2017,
Math. Log. Q..