Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theorem proving
3
Algebra
1
Algebraic specifications
1
Alloy analyzers
1
Alloys
1
Artificial intelligence
1
Computer circuits
1
Computer systems
1
Difference equations
1
Feature extraction
1
Formal Description
1
Formal definition
1
Formal development
1
Formal methods
1
Formal specification
1
Formal systems
1
Lambda-calculus
1
Lightweight formal methods
1
NASA
1
Networking domain
1
Non-trivial
1
Pattern matching
1
Program debugging
1
Proof steps
1
Prototype verification systems
1
Reusability
1
Separation theorems
1
Software requirements
1
Specification languages
1
Theorem provers
1
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)
-
1Materias: “...Theorem proving...”
SER -
2Materias: “...Theorem proving...”
SER -
3Materias: “...Theorem proving...”
SER