Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Commonsense Reasoning Meets Theorem Proving.

MATES. 2016 S. 3 - 17

Erscheinungsjahr: 2016

Publikationstyp: Zeitschriftenaufsatz

Doi/URN: 10.1007/978-3-319-45889-2_1

Volltext über DOI/URN

GeprüftBibliothek

Autoren

Furbach, Ulrich (Autor)
Schon, Claudia (Autor)

Verknüpfte Personen

Claudia Schon

Beteiligte Einrichtungen

Logo Institute for Web Science and Technologies