Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Dix, Jürgen (1)
- Dyckhoff, Roy (1)
- Furuhashi, Takeshi (2)
- Gabbay, Dov M. (2)
- Graf, Peter (1)
- Hajnicz, Elzbieta (1)
- Herre, Heinrich (1)
- Lange, Steffen (1)
- Moscato, Ugo (1)
- Nerode, Anil (1)
- Nonnengart, Andreas (1)
- Ohlbach, Hans Jürgen (2)
- Orlowska, Ewa (1)
- Ornaghi, Mario (1)
- Padmanabhan, Rangana... (1)
- Schroeder-Heister, P... (1)
- Skowron, Andrzej (1)
- Slaney, John K. (1)
- Zhang, Chenqi (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (20)
-
Ubicaciones
-
Series
-
Temas
- Análisis de algoritm... (2)
- Artificial intellige... (11)
- Computación mediante... (2)
- Computation by abstr... (2)
- Deducción y prueba d... (9)
- Deduction and theore... (9)
- Grammars and other r... (2)
- Gramáticas y otros s... (2)
- Inteligencia artific... (10)
- Knowledge representa... (2)
- Logic programming (5)
- Lógica matemática-Co... (16)
- Mathematical logic-C... (17)
- Modes of computation (1)
- Programación en lógi... (4)
- Representación del c... (2)
- Sistemas distribuido... (1)
- Mostrar más
- Mostrar menos