Commonsense Reasoning Meets Theorem Proving.
U. Furbach, und C. Schon.
Bridging@IJCAI , Volume 1651 von CEUR Workshop Proceedings, Seite 74-85. CEUR-WS.org, (2016)

  • @cschon
  • @dblp
Diese Publikation wurde noch nicht bewertet.

Bewertungsverteilung
Durchschnittliche Benutzerbewertung0,0 von 5.0 auf Grundlage von 0 Rezensionen
    Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.