Refinar su búsqueda
Disponibilidad
- Mostrar ítems actualmente disponibles
- Mostrar todos los ítems:
-
Autores
- Anthony, Martin (1)
- Baeten, Josephus Cor... (2)
- Chaitin, Gregory J. (1)
- Engelhardt, Kai (1)
- Esparza, Javier (1)
- Feijs, Loe M. G. (1)
- Griffor, Edward R. (1)
- Hindley, James Roger (1)
- Hoek, Wiebe van der (1)
- Hoggar, Stuart G. (1)
- Jonkers, H. B. M. (1)
- Manes, Ernest G. (1)
- Mosses, Peter D. (1)
- Nielson, Hanne Riis (1)
- Padawitz, Peter (1)
- Sangiorgi, Davide (1)
- Seligman, Jerry (1)
- Stoltenberg-Hansen, ... (1)
- Troelstra, Anne Sjer... (1)
- Venema, Yde (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (33)
-
Ubicaciones
-
Series
-
Temas
- Análisis de algoritm... (1)
- Clasificación de len... (1)
- Computing methodolog... (1)
- Formal languages (6)
- Lenguajes de program... (2)
- Lenguajes formales (6)
- Logics and meanings ... (4)
- Lógica matemática (6)
- Lógica matemática-Co... (5)
- Lógica y significado... (3)
- Mathematical logic (7)
- Mathematical logic-C... (5)
- Models of computatio... (1)
- Modes of computation (1)
- Programas-Especifica... (2)
- Programming language... (2)
- Programs-Specificati... (2)
- Semantics of program... (2)
- Semántica de lenguaj... (2)
- Mostrar más
- Mostrar menos