HTTP/1.1 301 Moved Permanently Server: nginx/1.18.0 (Ubuntu) Date: Sun, 18 Jan 2026 16:27:13 GMT Content-Type: text/html Content-Length: 178 Location: https://ceur-ws.org/Vol-1412/ Connection: keep-alive HTTP/1.1 200 OK Server: nginx/1.18.0 (Ubuntu) Date: Sun, 18 Jan 2026 16:27:13 GMT Content-Type: text/html; charset=utf-8 Last-Modified: Tue, 29 Nov 2022 15:47:20 GMT Transfer-Encoding: chunked Connection: keep-alive ETag: W/"63862988-1120" Content-Encoding: gzip

Vol-1412 urn:nbn:de:0074-1412-3 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

---

Bridging 2015
Bridging the Gap between Human and Automated Reasoning

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.

Edited by

Ulrich Furbach *
Claudia Schon *

* Universität Koblenz-Landau, Institut für Informatik, Arbeitsgruppe Künstliche Intelligenz, 56070 Koblenz, Germany

---

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

---

2015-07-24: submitted by Claudia Schon, metadata incl. bibliographic data published under Creative Commons CC0
2015-07-27: published on CEUR-WS.org |valid HTML5|