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. Furbach, and C. Schon (Eds.) volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)
%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
}
