Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algebra
2
Formal logic
Abstract framework
1
Abstract model theory
1
Abstracting
1
Alloy
1
Automatic analysis
1
Automation
1
Calculations
1
Categorical structure
1
Computer programming languages
1
Dynamic logic
1
Fork algebras
1
Formal foundation
1
Logic design
1
Problem solving
1
Proof calculus
1
Proof system
1
Proof theory
1
Relational specifications
1
Satisfiability
1
Semantics
1
-
1Materias: “...Formal foundation...”
SER -
2Materias: “...Formal logic...”
JOUR