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)

Document: http://dblp.uni-trier.de/db/conf/cade/bridging2015.html
search on: Google Scholar Microsoft Bing WorldCat BASE

This publication has not been reviewed yet.

rating distribution

average user rating0.0 out of 5.0 based on 0 reviews

Please log in to take part in the discussion (add own reviews or comments).

%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

BibSonomy

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)

Tags

Users

Comments and Reviews

Cite this publication

BibSonomy

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)

Tags

Users

Comments and Reviews

Cite this publication

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)