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.
Semantics of Programming Languages
Ciencias Informáticas
3
Agda
2
Alloy
2
Bisimulaciones
2
Categoría funtorial
2
Código intermedio
2
Denotational semantics
2
Implementaciones
2
LTS
2
Lambda calculus and related systems
2
Lógica matemática
2
MTS
2
Mathematical Logic
2
SAT solver
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Software/Program Verification
2
Computer Uses in Education
1
Data mining
1
Educación
1
Learning
1
Parallelism and concurrency
1
Procesamiento de Lenguaje Natural
1
Semantics
1
asistentes de prueba (Coq)
1
datos abiertos
1
escificación formal
1
lenguajes de programación
1
-
1por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4
-
5
-
6por Rodríguez, Leonardo Matías
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis