%0 Conference Proceedings %1 conf/cade/2015bridging %B Bridging@CADE %D 2015 %E Furbach, Ulrich %E Schon, Claudia %I CEUR-WS.org %K dblp %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://dblp.uni-trier.de/db/conf/cade/bridging2015.html %V 1412

@proceedings{conf/cade/2015bridging, added-at = {2023-03-10T00:00:00.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/2e630de845c2169042708dc793ce138bb/dblp}, booktitle = {Bridging@CADE}, editor = {Furbach, Ulrich and Schon, Claudia}, ee = {https://nbn-resolving.org/urn:nbn:de:0074-1412-3}, interhash = {5a7f4bcaba7da7d7379d7e0327d42930}, intrahash = {e630de845c2169042708dc793ce138bb}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:54:49.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://dblp.uni-trier.de/db/conf/cade/bridging2015.html}, volume = 1412, year = 2015 }