BibSonomy now supports HTTPS. Switch to HTTPS.
@cschon

Commonsense Reasoning meets Theorem Proving

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

Links and resources

BibTeX key:
aitp
search on:

Comments and Reviews  
(0)

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

Tags


Cite this publication