<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-10-30 13:20:15Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-10-30 13:20:15Knowledge Mathematical proof Heuristic Formal specification Logic Automated theorem proving Formal methods Mathematics Problem solving |
Add to Reading List |
Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011