Refinar su búsqueda
Disponibilidad
-
Autores
- Alfaro, Luca de (1)
- Alferes, José Júlio (1)
- Barthe, Gilles (1)
- Bjorner, Dines (1)
- Büning, Hans Kleine (1)
- Dalen, Dirk (1)
- Dowek, Guilles (1)
- Findler, Robert Bruc... (1)
- Fridlender, Daniel E... (1)
- Hanus, Michael (1)
- Heering, Jan (2)
- Mahr, Bernd (1)
- Meinke, Karl (2)
- Moniz Pereira, Luís (1)
- Möller, Bernhard (2)
- Nivat, Maurice (2)
- Pottosin, Igor V. (1)
- Riis Nielson, Hanne (1)
- Rodríguez-Artalejo, ... (1)
- Workshop on Computer... (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (27)
- Trabajo Especial de Grado (1)
-
Ubicaciones
-
Series
-
Temas
- Analysis of algorith... (6)
- Análisis de algoritm... (5)
- Computación mediante... (4)
- Computation by abstr... (5)
- Deducción y prueba d... (8)
- Deduction and theore... (8)
- Formal languages (26)
- Ingeniería de softwa... (6)
- Lenguajes de program... (8)
- Lenguajes formales (24)
- Logic programming (4)
- Logics and meanings ... (23)
- Lógica matemática (25)
- Lógica y significado... (26)
- Mathematical logic (27)
- Programming language... (7)
- Programming techniqu... (4)
- Software engineering (9)
- Mostrar más
- Mostrar menos