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
Languages
Razonamiento Temporal
ARTIFICIAL INTELLIGENCE
2
Bases de Conocimiento Temporal
1
Conocimiento
1
Lenguajes Lógico-Temporales
1
Lenguajes Lógico-temporales
1
Lenguajes de programación y especificación
1
Lógica Temporal Métrica
1
Metrics
1
Negación
1
Revisión de Creencias
1
Revisión de creencias
1
-
1
-
2
-
3