Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Theorem proving
Algebra
1
Alloy
1
Alloy analyzers
1
Alloy calculus
1
Alloying
1
Alloys
1
Automath systems
1
Automatic analysis
1
Calculations
1
Computer programming languages
1
Computer science
1
Computer software
1
Critical applications
1
Data domains
1
Dependent theory
1
Edinburgh logical frameworks
1
Fork algebras
1
Interpretability
1
Mathematical programming
1
Mathematical techniques
1
PVS
1
Polymorphic theory
1
Propositional formulas
1
Pure type systems
1
Semi-automatics
1
Software verification
1
System theory
1
Temporal logics
1
-
1
-
2
-
3Materias: “...Formal logic...”
JOUR