Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
2
Computer circuits
2
Reconfigurable hardware
Algebra
1
Conditional rules
1
De Bruijn
1
De-Bruijn indices
1
Dynamic epistemic logic
1
Epistemic logic
1
Epistemic logics
1
Explicit Substitutions
1
First order systems
1
Formal logic
1
Functional calculus
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
Object calculi
1
Public Announcements Logic
1
Relational semantics
1
Semantics
1
Strong normalization
1
Theoretical framework
1
-
1Materias: “...Functional calculus...”
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: “...Hilbert-style calculus...”
SER