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