Refinar su búsqueda
Disponibilidad
-
Autores
- Alferes, José Júlio (1)
- Alur, Rajeev (1)
- Coppo, Mario (1)
- Dalen, Dirk (1)
- Freuder, Eugene (2)
- Graf, Peter (1)
- Heering, Jan (1)
- Kanchanasut, Kanchan... (1)
- Lévy, Jean-Jacques (1)
- McCune, William (2)
- Meinke, Karl (2)
- Melham, Thomas F. (1)
- Moniz Pereira, Luís (1)
- Moscato, Ugo (1)
- Nivat, Maurice (2)
- Ornaghi, Mario (1)
- Reusch, Bernd (1)
- Rodríguez-Artalejo, ... (1)
- Rémy, Jean-Luc (1)
- Slaney, John K. (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (39)
- Tesis de Doctorado (2)
-
Ubicaciones
- Sección Computación (1)
- Sección Lecture Notes (38)
- Vitrina (2)
-
Series
-
Temas
- Artificial intellige... (4)
- Asistencia de diseño... (4)
- Deducción y prueba d... (38)
- Deduction and theore... (36)
- Formal languages (11)
- Grammars and other r... (4)
- Knowledge representa... (5)
- Lenguajes de program... (7)
- Lenguajes formales (13)
- Logic programming (7)
- Logics and meanings ... (10)
- Lógica matemática (12)
- Lógica matemática-Co... (17)
- Lógica y significado... (12)
- Mathematical logic (10)
- Mathematical logic-C... (18)
- Programación-Técnica... (4)
- Programming language... (7)
- Representación del c... (9)
- Special-purpose and ... (4)
- Mostrar más
- Mostrar menos