Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abductive reasoning
Education
2
Event Calculus
2
Goal-oriented requirements engineering
2
Inductive logic programming
2
Linear temporal logic
2
Logic programming
2
Program translators
2
Requirements engineering
2
Scenario-based specification
2
Software engineering
2
Specifications
2
Temporal logic
2
-
1Publicado 2009Materias: “...Linear temporal logic...”
-
2Materias: “...Linear temporal logic...”
JOUR