Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
Algebra
2
Proof calculus
2
Specifications
2
Abstract framework
1
Abstract model theory
1
Alloy Analyzer
1
Alloy analyzers
1
Alloys
1
Analysis and verifications
1
Automated analysis
1
Biomineralization
1
Categorical structure
1
Complete system
1
Complex networks
1
Computer aided software engineering
1
Formal foundation
1
Formal logic
1
Interoperability
1
Interoperating networks
1
Logical language
1
Partial views
1
Proof system
1
Proof theory
1
Satisfiability
1
Semantics
1
Semiautomatic theorem
1
Software prototyping
1
Structured specification
1
Theorem provers
1
-
1
-
2
-
3