|
Serie A | Volumen 98 | Números 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
|
|
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
|
