Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning?
Aachen: CEUR/RWTH 2017
Erscheinungsjahr: 2017
ISBN/ISSN: 1613-0073
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Schon, Claudia (Herausgeber)
Furbach, Ulrich (Herausgeber)
