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, и C. Schon (Ред.) том 1412 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)
%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
}
