%0 Conference Proceedings %1 DBLP:conf/cade/2015bridging %B CEUR Workshop Proceedings %D 2015 %E Furbach, Ulrich %E Schon, Claudia %I CEUR-WS.org %K myown ratiolog.uni-koblenz.de/bridging schon west.uni-koblenz.de %T 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 %U http://ceur-ws.org/Vol-1412 %V 1412

@proceedings{DBLP:conf/cade/2015bridging, added-at = {2016-10-07T08:41:12.000+0200}, bdsk-url-1 = {http://ceur-ws.org/Vol-1412}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/27f110c899d252a088606caf780745cee/cschon}, date-added = {2016-01-22 12:39:31 +0000}, date-modified = {2016-01-22 12:39:31 +0000}, editor = {Furbach, Ulrich and Schon, Claudia}, interhash = {5a7f4bcaba7da7d7379d7e0327d42930}, intrahash = {7f110c899d252a088606caf780745cee}, keywords = {myown ratiolog.uni-koblenz.de/bridging schon west.uni-koblenz.de}, publisher = {CEUR-WS.org}, series = {{CEUR} Workshop Proceedings}, timestamp = {2017-07-12T13:49:23.000+0200}, title = {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}, url = {http://ceur-ws.org/Vol-1412}, volume = 1412, year = 2015 }