Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Apers, Peter (1)
- Bouzeghoub, Mokrane (1)
- Coppo, Mario (1)
- Freuder, Eugene (2)
- Gabbay, Dov M. (3)
- Graf, Peter (1)
- Groote, Philippe (1)
- Hankin, Chris (1)
- Hinchey, Michael Ger... (1)
- Hindley, James Roger (1)
- Maibaum, Thomas S. E... (1)
- Melham, Thomas F. (1)
- Moscato, Ugo (1)
- Ohlbach, Hans Jürgen (2)
- Ornaghi, Mario (1)
- Plotkin, Gordon (1)
- Reusch, Bernd (1)
- Rémy, Jean-Luc (1)
- Slaney, John K. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (49)
-
Ubicaciones
- Sección Computación (11)
- Sección Lecture Notes (38)
-
Series
-
Temas
- Administración de ba... (4)
- Applicative programm... (3)
- Artificial intellige... (9)
- Búsqueda y recuperac... (4)
- Database management (4)
- Deducción y prueba d... (20)
- Deduction and theore... (21)
- Formal languages (4)
- Grammars and other r... (5)
- Gramáticas y otros s... (5)
- Information search a... (4)
- Inteligencia artific... (9)
- Knowledge representa... (5)
- Language constructs ... (4)
- Lenguajes formales (4)
- Logic programming (7)
- Lógica matemática-Co... (42)
- Mathematical logic-C... (44)
- Programación en lógi... (5)
- Representación del c... (5)
- Mostrar más
- Mostrar menos