Búsqueda por tema: Logic, Symbolic and mathematical—Congresses
Mostrando 1-4 de 4 resultados, ordenados por
1. Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.). 1998

2. Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott. 1996

3. Proof and computation / edited by Helmut Schwichtenberg. 1995

4. Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu.V. Matiyasevich, eds. 1994


Explorar índices alfabéticos


Es suficiente con que ingrese las primeras letras. Omita artículos iniciales en títulos.
Recorrer el catálogo completo (por orden de ubicación del material)