| Originalsprache | Englisch |
|---|---|
| Publikationsstatus | Veröffentlicht - Juni 2001 |
Wissenschaftszweige
- 101 Mathematik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Theorema: Proving, Solving and Computing
Publikation: Andere Beiträge › Sonstiger Beitrag