@cschon

Commonsense Reasoning meets Theorem Proving

U. Furbach, und C. Schon. URANIA@AI*IA , Volume 1802 von CEUR Workshop Proceedings, Seite 1--12. CEUR-WS.org, (2016)

Links und Ressourcen

BibTeX-Schlüssel:
DBLP:conf/aiia/FurbachS16
Suchen auf:

Kommentare und Rezensionen  
(0)

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

Tags


Zitieren Sie diese Publikation