Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
Formal logic
Fork algebras
2
Abstracting
1
Alloy
1
Automatic analysis
1
Automation
1
Completeness theorems
1
Computer programming languages
1
Computer software
1
Dynamic logic
1
Fuzzy logic
1
Gödel logic
1
Interpretability
1
Intuitionistic modal logic
1
Kripke frames
1
Kripke model
1
Kripke models
1
Logic design
1
Many valued logics
1
Many-valued logics
1
Mathematical programming
1
Modal algebras
1
Modal logic
1
Prelinearity
1
Problem solving
1
Relational specifications
1
Representation theorem
1
Semantics
1
Software verification
1
-
1Materias: “...Fuzzy logic...”
JOUR -
2Materias: “...Dynamic logic...”
JOUR -
3