@cschon

Commonsense Reasoning meets Theorem Proving

U. Furbach, and C. Schon. URANIA@AI*IA , volume 1802 of CEUR Workshop Proceedings, page 1--12. CEUR-WS.org, (2016)

Links and resources

BibTeX key:
DBLP:conf/aiia/FurbachS16
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication