Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
2
Behaviour models
2
Code understanding
2
Computer software
2
Emergent behaviours
2
Finite-state abstraction
2
Global representation
2
Global view
2
Infinite state
2
Modular reasoning
2
Synthesis techniques
2
behaviour models
2
code understanding
2
contract conformance
2
Animation
1
Approximate reasoning
1
Fuzzy logic
1
Kripke model
1
Logic Programming Gödel Logic
1
Logic programming
1
Many valued logics
1
Modal logic
1
Possible worlds
1
Similarity
1
Similarity relations
1
-
1Materias: “...Approximate reasoning...”
CONF -
2
-
3