| Original language | English |
|---|---|
| Publication status | Published - Mar 2001 |
Fields of science
- 101 Mathematics
JKU Focus areas
- Computation in Informatics and Mathematics
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Advanced Proof Presentation in Theorema
- Florina Piroi
- , Tudor Jebelean
Research output: Other contribution