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
2
ETHEREUM
2
MONITORING
2
SOFTWARE VERIFICATION
2
SOLIDITY
2
SURVEY
2
TEMPORAL LOGIC
2
Algorithms
1
CALCULO-λ
1
CLASSICAL LOGIC
1
CONSTRUCTIVE LOGIC
1
CURRY-HOWARD
1
Controlador PLC (Programmable Logic Controller)
1
Cooperación/oposición
1
Cooperation/opposition
1
Círculo de Viena
1
DENOTATIONAL SEMANTICS
1
Deport
1
Deporte
1
Docentes
1
Educación física
1
Ejercicio
1
Enseñanza
1
Equipos para almacenar agua y quı́micos
1
Equipos para introducir el fluido en el pozo (Fracturador)
1
Equipos para mezclar los distintos componentes utilizados (Blender)
1
Escuelas filosóficas
1
FUNCTIONAL PROGRAMMING
1
Filosofía
1
Fútbol
1
-
1
-
2por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
3por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
4por Carbonari, Francisco Eduardo DanielMaterias: “...Modal logic...”
Publicado 2015
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
5por Aybar Rosales, Vanessa del CarmenMaterias: “...Logic Programming...”
Publicado 2012
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
6por Milicich, MarianaMaterias: “...LOGIC PROGRAMMING...”
Publicado 2022
Tesis de grado publishedVersion -
7por Duran Cespedes, Walter AlvaroMaterias: “...Internal logic...”
Publicado 2019
Aportado por: Memoria Académica - FaHCE (UNLP)Tesis de grado acceptedVersion -
8por Gracı́a Crosta, JoséMaterias: “...Controlador PLC (Programmable Logic Controller)...”
Publicado 2022
Aportado por: RINFI - Facultad de Ingeniería (UNMdP)Tesis acceptedVersion Tesis de grado -
9por Oliva, Andrés EstebanMaterias: “...Logical positivism...”
Publicado 2017
Aportado por: Memoria Académica - FaHCE (UNLP)Tesis de grado acceptedVersion