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

Линки и ресурсы

URL:
http://ceur-ws.org/Vol-1412
ключ BibTeX:
DBLP:conf/cade/2015bridging
искать в:

Комментарии и рецензии  
(0)

Комментарии, или рецензии отсутствуют. Вы можете их написать!

Tags


Цитировать эту публикацию