| Originalsprache | Englisch |
|---|---|
| Publikationsstatus | Veröffentlicht - März 2001 |
Wissenschaftszweige
- 101 Mathematik
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Natural Style Predicate Logic Proving in Theorema
Publikation: Andere Beiträge › Sonstiger Beitrag