Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Semantics
18
Modal logic
14
Algebra
12
Calculations
10
Satisfiability
10
Computational complexity
9
Computer circuits
8
First order logic
8
Automata theory
7
Algorithms
6
Alloy
6
Computer programming languages
6
Computer science
6
Computer software
6
Data structures
6
Finite automata
6
Fork algebras
6
Iterative methods
6
Many valued logics
6
Software engineering
6
Theorem proving
6
Boolean functions
5
Propositional satisfiability
5
Automatic analysis
4
Automation
4
Backwards verification
4
Chaos theory
4
Chaotic iteration
4
Characterization
4
-
1Materias: “...Imperfect information logic...”
-
2Materias: “...Imperfect information logic...”
JOUR -
3Publicado 2015Materias: “...Fuzzy logic...”
-
4Materias: “...Fuzzy logic...”
JOUR -
5
-
6
-
7Publicado 2016Materias: “...Epistemic logics...”
-
8por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Epistemic logics...”
SER -
9
-
10
-
11Materias: “...Dynamic logic...”
-
12Materias: “...Dynamic logic...”
JOUR -
13Materias: “...Modal logic...”
-
14
-
15Materias: “...Modal logic...”
-
16
-
17Publicado 2009Materias: “...First order logic...”
-
18
-
19Materias: “...Modal logics...”
-
20Materias: “...Modal logics...”
JOUR