Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Depósito Interno (1)
- Secc. Tesis y Trabajos especiales (2)
- Vitrina (1)
-
Temas
- Adecuación computaci... (1)
- Bracketing (1)
- Categorical semantic... (1)
- Coherencia (1)
- Corrección de compil... (1)
- Denotational semanti... (2)
- Lambda calculus and ... (1)
- Logic and verificati... (1)
- Mathematical Logic (2)
- Mecanización (1)
- Operational semantic... (1)
- Relaciones lógicas (1)
- Semantics of program... (2)
- Semántica de lenguaj... (1)
- Theory of computatio... (1)
- Mostrar más
- Mostrar menos