Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Formal logic
Semantics
6
Algebra
4
Computer circuits
4
Modal logic
4
Soundness and completeness
4
Abstract framework
2
Abstract model theory
2
Alloy
2
Alloy analyzers
2
Alloy calculus
2
Alloying
2
Alloys
2
Automatic analysis
2
Biomineralization
2
Categorical structure
2
Critical applications
2
Curry howard isomorphism
2
Curry-Howard correspondence
2
Curry-Howard isomorphism
2
Data domains
2
Differentiation (calculus)
2
Dynamic epistemic logic
2
Epistemic logic
2
Epistemic logics
2
First order logic
2
First-order logic of proofs
2
Formal foundation
2
Hilbert-style calculus
2
-
1
-
2Materias: “...Formal foundation...”
SER -
3Materias: “...Formal logic...”
-
4
-
5Materias: “...Formal logic...”
-
6Materias: “...Formal logic...”
JOUR -
7Publicado 2017Materias: “...Formal logic...”
-
8
-
9Publicado 2016Materias: “...Formal logic...”
-
10por 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