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.
Bridging@CADE. Bd. 1412. 2015
Erscheinungsjahr: 2015
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |