Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
3
Alloy analyzers
2
Alloys
2
Formal logic
2
Proof calculus
2
Abstract framework
1
Abstract model theory
1
Algebra
1
Alloy
1
Alloy Analyzer
1
Alloy calculus
1
Alloying
1
Analysis and verifications
1
Automated analysis
1
Automatic analysis
1
Categorical structure
1
Complex networks
1
Computer aided software engineering
1
Critical applications
1
Data domains
1
Formal foundation
1
Interoperability
1
Interoperating networks
1
PVS
1
Proof system
1
Proof theory
1
Propositional formulas
1
Satisfiability
1
Semantics
1
Semi-automatics
1
-
1Materias: “...Proof calculus...”
SER -
2Materias: “...Alloy calculus...”
JOUR -
3Materias: “...Proof calculus...”
SER