Real Academia de Ciencias Exactas, Físicas y Naturales
Revista Serie A Matemáticas (RACSAM)
Serie A | Volumen 98 | Número 1-2 | Año 2004
ÍNDICE / INDEX
NÚMERO ESPECIAL SOBRE / SPECIAL ISSUE ON
COMPUTACIÓN SIMBÓLICA EN LÓGICA E INTELIGENCIA ARTIFICIAL / SYMBOLIC COMPUTATION IN LOGIC AND ARTIFICIAL INTELLIGENCE
EDITORES INVITADOS / GUEST EDITORS: LUIS M. LAITA, EUGENIO ROANES-LOZANO AND JOSÉ ANTONIO ALONSO
pág. 1
L.M. Laita, E. Roanes-Lozano and J.A. Alonso
pág. 3
J.A. Alonso, J. Borrego, Mª.J. Hidalgo, F.J. Martín-Mateos and J.L. Ruiz-Reina
pág. 17
B. Beckert, M. Giese, E. Habermalz, R. Hänle, A. Roth, P. Rümmer and S. Schlager
pág. 55
B. Benhamou
pág. 65
B. Buchberger
pág. 77
J. Calmet, P. Maret and R. Endsuleit
pág. 85
J. A. Campbell
pág. 95
M. Franssen and H. de Swart
pág. 113
D. Gabbay, G. Metcalfe and N. Olivetti
pág. 127
L. Henocque
pág. 153
D. Kapur, J. Giesl and M. Subramaniam
pág. 181
M. Kaufmann and J. Strother Moore
pág. 197
A. Muir, I. Düntsch and G. Gediga
pág. 213
J. Pfalzgraf
pág. 229
E. Roanes-Lozano, R. Muga, L. M. Laita and E. Roanes-Macías
pág. 239
T. Sturm and V. Weispfenning
pág. 259
E. Trillas, C. Alsina and A. Pradera