@cschon

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, und C. Schon (Hrsg.). . Volume 1412 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)

Links und Ressourcen

URL:
http://ceur-ws.org/Vol-1412
BibTeX-Schlüssel:
DBLP:conf/cade/2015bridging
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation