Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic programming
4
Goal-oriented requirements engineering
2
Requirements engineering
2
Abductive reasoning
1
Alpha-conversion
1
Behaviour models
1
Computational power
1
De Bruijn indices
1
Declarative goals
1
Education
1
Engineering education
1
Event Calculus
1
Formal logic
1
Goal models
1
Higher-order rewriting
1
Inductive learning
1
Inductive logic programming
1
Iterative process
1
Linear temporal logic
1
Machine-learning
1
Matin-Löf randomness
1
Metadata
1
Model checking
1
Models
1
Notation
1
Operational requirements
1
Program translators
1
Random processes
1
Random set
1
Scenario-based specification
1
-
1Materias: “...Inductive logic programming...”
JOUR -
2Materias: “...Logic programming...”
JOUR -
3Materias: “...Logic programming...”
JOUR -
4Materias: “...Logic programming...”
JOUR