@dblp

Commonsense Reasoning Meets Theorem Proving.

U. Furbach, and C. Schon. Bridging@IJCAI , volume 1651 of CEUR Workshop Proceedings, page 74-85. CEUR-WS.org, (2016)

Links and resources

URL:
http://dblp.uni-trier.de/db/conf/ijcai/bridging2016.html#FurbachS16
BibTeX key:
conf/ijcai/FurbachS16
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication