Ulrich Furbach; Claudia Schon (Hrsg). 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 S. 47 - 59

Erscheinungsjahr: 2015

ISBN/ISSN: 1613-0073

Publikationstyp: Diverses (Konferenzbeitrag)

Sprache: Englisch