| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning |
| Seitenumfang | 16 |
| Publikationsstatus | Veröffentlicht - Dez. 2000 |
Wissenschaftszweige
- 101 Mathematik
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver