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
Temporal logic
Informática
4
Logic Programming
3
Cost/performance
1
Design languages
1
Knowledge Representation Formalisms and Methods
1
Model checking
1
Programming Environments
1
Real time
1
Software process models (e.g., CMM, ISO, PSP)
1
Specifying and Verifying and Reasoning about Programs
1
Verification
1
argumentative systems
1
bases de datos en tiempo real
1
commonsense reasoning
1
consistencia temporal
1
datos de tiempo real
1
defeasible reasoning
1
ingeniería de software en tiempo real
1
knowledge representation
1
reasoning about change notion and actions
1
temporal logic; logic programming; temporal logic programming
1
temporal reasoning
1
transacciones de tiempo real
1
-
1Materias: “...temporal logic; logic programming; temporal logic programming...”
Aportado por: SEDICI (UNLP)Articulo -
2
-
3
-
4
-
5
-
6
-
7
-
8