Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence IJCAI 2016: New York, USA, July 9, 2016
Aachen: CEUR/RWTH 2016
Erscheinungsjahr: 2016
ISBN/ISSN: 1613-0073
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
| Geprüft: | Bibliothek |
