Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Börger, Egon (1)
- Camilleri, Juanito (1)
- Coppo, Mario (1)
- Dix, Jürgen (1)
- Dyckhoff, Roy (1)
- Freuder, Eugene (2)
- Graf, Peter (1)
- Gurevich, Yuri (1)
- Jampel, Michael (1)
- Maher, Michael (1)
- Melham, Thomas F. (1)
- Moscato, Ugo (1)
- Nerode, Anil (1)
- Ornaghi, Mario (1)
- Reusch, Bernd (1)
- Rémy, Jean-Luc (1)
- Slaney, John K. (1)
- Thiagarajan, Pazhama... (1)
- Zaniolo, Carlo (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (22)
-
Ubicaciones
-
Series
- Lecture notes in art... (9)
- Lecture notes in ati... (1)
- Lecture notes in com... (22)
- LNCS (10)
-
Temas
- Análisis de algoritm... (2)
- Asistencia de diseño... (2)
- Clasificación de len... (2)
- Computational geomet... (2)
- Deducción y prueba d... (22)
- Deduction and theore... (21)
- Formal languages (2)
- Grammars and other r... (4)
- Gramáticas y otros s... (4)
- Knowledge representa... (4)
- Language classificat... (2)
- Language constructs ... (3)
- Lenguajes formales (3)
- Logic programming (4)
- Lógica matemática-Co... (17)
- Lógica y significado... (3)
- Mathematical logic-C... (18)
- Models of computatio... (2)
- Representación del c... (5)
- Semantics of program... (2)
- Mostrar más
- Mostrar menos