Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Formal logic
10
Algebra
6
Semantics
6
Biomineralization
4
Computer circuits
4
Differentiation (calculus)
4
Modal logic
4
Reconfigurable hardware
4
Soundness and completeness
4
Specifications
4
Abstract framework
2
Abstract model theory
2
Alloy
2
Alloy analyzers
2
Alloy calculus
2
Alloying
2
Alloys
2
Automatic analysis
2
Categorical structure
2
Codes (symbols)
2
Complete system
2
Complex evolutions
2
Computational linguistics
2
Computer networks
2
Constraint Solving
2
Critical applications
2
Curry howard isomorphism
2
Curry-Howard correspondence
2
Curry-Howard isomorphism
2
-
1Publicado 2016Materias: “...Epistemic logics...”
-
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: “...Epistemic logics...”
SER -
3Materias: “...Modal logic...”
-
4
-
5Publicado 2017Materias: “...First-order logic of proofs...”
-
6
-
7Materias: “...Logical language...”
-
8Materias: “...Logical language...”
SER -
9
-
10Materias: “...Formal logic...”
SER -
11Materias: “...Formal logic...”
-
12Materias: “...Formal logic...”
JOUR -
13Publicado 2000Materias: “...Logic programming...”
-
14Materias: “...Logic programming...”
SER -
15Publicado 2008Materias: “...Programmable logic controllers...”
-
16Materias: “...Programmable logic controllers...”
SER