Proceedings,

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.

, and (Eds.)
volume 1412 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)

Meta data

Tags

Users

  • @cschon
  • @dblp

Comments and Reviews