Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
1
Automata theory
1
Automated support
1
Calculations
1
Computer programming languages
1
Differentiation (calculus)
1
Duration calculus
1
Event calculus
1
Exponential time complexity
1
Inductive logic programming
1
Inductive logic programming (ILP)
1
Key characteristics
1
Linear duration invariants
1
Linear programming
1
Modal Transition Systems
1
Modal transition system
1
Modelling softwares
1
Partial specifications
1
Path polymorphism
1
Pattern matching
1
Polynomial approximation
1
Polynomial-time
1
Real case
1
Real time systems
1
Recursive types
1
Refinement
1
Specifications
1
Timed automata
1
Tree structures
1
Trees (mathematics)
1
-
1Materias: “...Event calculus...”
CONF -
2Materias: “...Duration calculus...”
CONF -
3Materias: “...Λ-calculus...”
CONF