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)
- Kanchanasut, Kanchan... (1)
- Kaufmann, Matt (2)
- Lévy, Jean-Jacques (1)
- Manolios, Panagiotis (2)
- McCune, William (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 (43)
- Tesis de Doctorado (2)
-
Ubicaciones
- Sección Computación (3)
- Sección Lecture Notes (40)
- Vitrina (2)
-
Series
-
Temas
- Artificial intellige... (5)
- Asistencia de diseño... (4)
- Automatic programmin... (4)
- Deducción y prueba d... (36)
- Deduction and theore... (39)
- Design aids (5)
- Formal languages (11)
- Grammars and other r... (4)
- Knowledge representa... (5)
- Lenguajes de program... (8)
- Lenguajes formales (12)
- Logic programming (7)
- Logics and meanings ... (10)
- Lógica matemática (11)
- Lógica matemática-Co... (17)
- Lógica y significado... (10)
- Mathematical logic (11)
- Mathematical logic-C... (19)
- Programming language... (8)
- Representación del c... (7)
- Mostrar más
- Mostrar menos