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.
Fallzahl Standort Koblenz: 0 (Warnstufe Grün) Maßnahmenkonzept
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.