Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Algebra
2
Computational linguistics
2
Formal logic
2
Reconfigurable hardware
2
Semantics
2
Abstract framework
1
Abstract model theory
1
Categorical structure
1
Codes (symbols)
1
Communication failure
1
Compact representation
1
Complex evolutions
1
Computer circuits
1
Constraint Solving
1
Distributed computer systems
1
Dynamic epistemic logic
1
Dynamic evolution
1
Dynamic models
1
Dynamic re-configuration
1
Epistemic logic
1
Epistemic logics
1
Execution history
1
Formal analysis
1
Formal foundation
1
Formal languages
1
Formal methods
1
Graph rewriting
1
Graph theory
1
Hilbert-style calculus
1
-
1Materias: “...Formal foundation...”
SER -
2Materias: “...Formal methods...”
SER -
3Materias: “...Formal languages...”
SER -
4por Cabrer, L., Rivieccio, U., Rodriguez, R.O., Vieira S., Carvalho J.P., Lesot M.-J., Bouchon-Meunier B., Kaymak U., Yager R.R.Materias: “...Formal logic...”
SER