Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- Libro (3)
- Trabajo Especial de Grado (3)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- LNCS (2)
- Texts in theoretical... (1)
-
Temas
- Clasificación de len... (2)
- Cálculo de Lambda y ... (1)
- Deducton and theorem... (2)
- Denotational semanti... (1)
- Formal languages (2)
- Lambda calculus (3)
- Lambda calculus and ... (1)
- Language classificat... (2)
- Lenguajes formales (2)
- Logic programming (1)
- Logics and meanings ... (3)
- Lógica matemática (2)
- Lógica y significado... (3)
- Mathematical logic (1)
- Mathematical logic a... (1)
- Mechanical theorem p... (1)
- Semantics of program... (1)
- Semántica de lenguaj... (1)
- Theory of computatio... (1)
- Mostrar más
- Mostrar menos