Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Kripke frames
2
Semantics
2
Abstract data types
1
Algorithms
1
Classical modal logic
1
Computability and decidability
1
Computer circuits
1
Dynamic frame
1
Finite model property
1
First-order
1
Fuzzy logic
1
Information management
1
Information science
1
Knowledge based systems
1
Machinery
1
Modal logic
1
Non-circular
1
Non-trivial
1
Possibilistic
1
Possibility distributions
1
Programming language
1
Reconfigurable hardware
1
Structural invariants
1
Theory of dynamics
1
Trees (mathematics)
1
-
1Materias: “...Kripke frames...”
SER -
2por Bou, F., Esteva, F., Godo, L., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Kripke frames...”
SER -
3Materias: “...Dynamic frame...”
SER