Refinar su búsqueda
Disponibilidad
-
Autores
- Arikawa, Setsuo (1)
- Dix, Jürgen (1)
- Dyckhoff, Roy (1)
- Furbach, Ulrich (1)
- Galmiche, Didier (1)
- Graf, Peter (1)
- Herre, Heinrich (1)
- Jürgen, Dix (1)
- McCune, William (1)
- McRobbie, Michael A. (1)
- Miglioli, Pierangelo (1)
- Moniz Pereira, Luis (1)
- Moscato, Ugo (1)
- Mundici, Daniele (1)
- Nerode, Anil (1)
- Ornaghi, Mario (1)
- Padmanabhan, Rangana... (1)
- Przymusinski, Teodor... (1)
- Schroeder-Heister, P... (1)
- Slaney, John K. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (9)
-
Ubicaciones
-
Series
-
Temas
- Artificial intellige... (1)
- Computational geomet... (1)
- Deducción y prueba d... (9)
- Deduction and theore... (9)
- Geometría computacio... (1)
- Grammars and other r... (2)
- Gramáticas y otros s... (2)
- Inteligencia artific... (1)
- Knowledge representa... (2)
- Logic programming (3)
- Logica matemática-Co... (1)
- Lógica matemática-Co... (8)
- Mathematical logic-C... (9)
- Natural language pro... (1)
- Procesamiento del le... (1)
- Programación en lógi... (2)
- Representación del c... (2)
- Mostrar más
- Mostrar menos