Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
3
Curry-de Bruijn-Howard isomorphism
1
Informática
1
Justification Logic
1
Lógica
1
Mobile computation
1
Programación
1
Representations (procedural and rule-based)
1
Typed lambda calculus
1
formalismos
1
lenguaje de programación
1
lógica matemática y lenguajes formales
1
lógica modal
1
reglas
1
-
1
-
2por Feller, FedericoMaterias: “...lógica matemática y lenguajes formales...”
Publicado 2009
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
3