| Originalsprache | Englisch |
|---|---|
| Titel | Proceeding of RTETP 2000 (Rewriting Techniques and Efficient Theorem Proving) |
| Seitenumfang | 10 |
| Publikationsstatus | Veröffentlicht - Juni 2000 |
Wissenschaftszweige
- 101 Mathematik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver