Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction CADE-25: Berlin, Germany, August 1, 2015
Aachen: CEUR/RWTH 2015
Erscheinungsjahr: 2015
ISBN/ISSN: 1613-0073
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
| Geprüft: | Bibliothek |
