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.
Algebra
Calculations
4
Formal logic
4
Semantics
4
Abstract framework
2
Abstract model theory
2
Automata theory
2
Categorical structure
2
Computer circuits
2
Duration calculus
2
Dynamic epistemic logic
2
Epistemic logic
2
Epistemic logics
2
Formal foundation
2
Hilbert-style calculus
2
Information management
2
Information science
2
Knowledge based systems
2
Linear duration invariants
2
Linear programming
2
Lukasiewicz modal logic
2
MV-algebras
2
Many valued logics
2
Modal logic
2
Proof calculus
2
Proof system
2
Proof theory
2
Public Announcements Logic
2
Real time systems
2
Reconfigurable hardware
2
-
1
-
2Materias: “...Duration calculus...”
CONF -
3
-
4
-
5Materias: “...Proof calculus...”
SER -
6Publicado 2016Materias: “...Hilbert-style calculus...”
-
7por 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