Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Theorem proving
6
Algebra
2
Alloy
2
Alloy analyzers
2
Alloy calculus
2
Alloying
2
Alloys
2
Automath systems
2
Automatic analysis
2
Calculations
2
Computer programming languages
2
Computer science
2
Computer software
2
Critical applications
2
Data domains
2
Dependent theory
2
Edinburgh logical frameworks
2
Fork algebras
2
Interpretability
2
Mathematical programming
2
Mathematical techniques
2
PVS
2
Polymorphic theory
2
Propositional formulas
2
Pure type systems
2
Semi-automatics
2
Software verification
2
System theory
2
Temporal logics
2
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
-
1Publicado 2006Materias: “...Theorem proving...”
-
2
-
3Publicado 2002Materias: “...Theorem proving...”
-
4
-
5Materias: “...Theorem proving...”
-
6Materias: “...Theorem proving...”
JOUR