| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 4th International Workshop on the Implementation of Logics |
| Herausgeber*innen | B. Konev, R. Schmidt |
| Seiten | 55-68 |
| Publikationsstatus | Veröffentlicht - 2003 |
Wissenschaftszweige
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101009 Geometrie
- 101012 Kombinatorik
- 101013 Mathematische Logik
- 101020 Technische Mathematik
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver