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
ANALISIS AUTOMATICO
2
AUTOMATIC ANALYSIS
2
BUSINESS PROCESS
2
FLUENTES
2
FLUENTS
2
LOGICAS TEMPORALES
2
MODEL CHECKING
2
PROCESOS DE NEGOCIOS
2
TEMPORAL LOGICS
2
Temporal logic
2
WORKFLOWS
2
Deontic logic
1
Design languages
1
Fault tolerance
1
Formal methods
1
Logic Programming
1
Lógica deóntica
1
Model checking
1
Métodos formales
1
Programming Environments
1
Teoría de la computación
1
Theory of computation
1
Tolerancia a fallas
1
Translating fork specification
1
Verification
1
logic programs
1
-
1por Baum, Gabriel Alfredo, Frias, Marcelo F., Aguirre, Nazareno Matías, Arroyo, MarceloMaterias: “...Logic Programming...”
Publicado 2001
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2
-
3
-
4por Acosta, Araceli NataliaMaterias: “...Deontic logic...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion -
6por Regis, Germán EnriqueMaterias: “...TEMPORAL LOGICS...”
Publicado 2014
Tesis doctoral publishedVersion