| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | Computational Logic, Volume 9 of Handbook of the History of Logic |
| Herausgeber*innen | Dov M. Gabbay, Jörg H. Siekmann, John Woods |
| Erscheinungsort | Oxford |
| Verlag | Elsevier |
| Seiten | 679 - 710 |
| Publikationsstatus | Veröffentlicht - 2014 |
Zitat
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver