| Original language | English |
|---|---|
| Number of pages | 10 |
| Journal | Mitteilungen der Deutschen Mathematiker Vereinigung |
| Publication status | Published - Feb 2000 |
Fields of science
- 101 Mathematics
JKU Focus areas
- Computation in Informatics and Mathematics
Automated Theorem Proving: Theory or Practice?
Research output: Contribution to journal › Article