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
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