@cschon

Commonsense Reasoning meets Theorem Proving

U. Furbach, und C. Schon. Proceedings of the 1st Conference on Artificial Intelligence and Theorem Proving AITP'16, Obergurgl, Austria , (2016)

Links und Ressourcen

BibTeX-Schlüssel:
aitp
Suchen auf:

Kommentare und Rezensionen  
(0)

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

Tags


Zitieren Sie diese Publikation