Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
2
Computer circuits
Algebraic specifications
1
Calculations
1
Dynamic epistemic logic
1
Epistemic logic
1
Epistemic logics
1
Formal Description
1
Formal definition
1
Formal development
1
Formal logic
1
Formal specification
1
Formal systems
1
Hilbert-style calculus
1
Information management
1
Information science
1
Knowledge based systems
1
Lukasiewicz modal logic
1
MV-algebras
1
Many valued logics
1
Modal logic
1
NASA
1
Prototype verification systems
1
Public Announcements Logic
1
Reconfigurable hardware
1
Relational semantics
1
Reusability
1
Semantics
1
Specification languages
1
Theorem proving
1
-
1Materias: “...Formal specification...”
SER -
2por 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