2016
Ulrich Furbach, Claudia Schon
Commonsense Reasoning meets Theorem Proving
Accepted for publication at the 1st Conference on Artificial Intelligence and Theorem Proving, ATIP 2016, April 3-7, 2016, Obergurgl, Austria.
Unavailable translation
Unfortunately, this page has not been translated yet. You may either close this message and stay on this page or navigate to the next translated parent page.