Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
-
Ubicaciones
- Vitrina (3)
-
Temas
- Adecuación computaci... (1)
- Bracketing (1)
- Categorical semantic... (1)
- Coherencia (1)
- Compilers (1)
- Corrección de compil... (1)
- Denotational semanti... (1)
- Diseño de compilador... (1)
- Forcing (1)
- Formalización de mat... (1)
- Logic and verificati... (2)
- Lógica matemática (1)
- Mecanización (1)
- Operational semantic... (1)
- Programación con tip... (1)
- Relaciones lógicas (1)
- Software and its eng... (1)
- Teoría de conjuntos (1)
- Theory of computatio... (2)
- Type Theory (1)
- Mostrar más
- Mostrar menos