| Original language | English |
|---|---|
| Publication status | Published - Jun 2001 |
Fields of science
- 101 Mathematics
JKU Focus areas
- Computation in Informatics and Mathematics
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Theorema: Proving, Solving and Computing
Research output: Other contribution