Refinar su búsqueda
Disponibilidad
-
Autores
- Baaz, Matthias (1)
- Bezem, Marc (1)
- Börger, Egon (1)
- Büning, Hans Kleine (1)
- Dalen, Dirk (1)
- Gurevich, Yuri (1)
- Makowsky, Johann A. (1)
- Meinke, Karl (1)
- Workshop on Computer... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (4)
-
Ubicaciones
-
Series
- Lecture notes in com... (4)
- LNCS (3)
-
Temas
- Artificial intellige... (1)
- Coding and informati... (1)
- Computación mediante... (1)
- Computer logic (1)
- Deducción y prueba d... (3)
- Deduction and theore... (2)
- Formal languages (2)
- Inteligencia artific... (1)
- Knowledge representa... (1)
- Knowledge representa... (1)
- Lenguajes formales (3)
- Logics and meanings ... (3)
- Lógica matemática (3)
- Lógica y significado... (3)
- Mathematical logic (3)
- Representación del c... (3)
- Teoría de códigos y ... (1)
- Mostrar más
- Mostrar menos