CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment

Schlangen D, Lascarides A (2002)
Edinburgh University.

Report | Veröffentlicht| Englisch
 
Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Autor/in
Schlangen, DavidUniBi ; Lascarides, Alex
Erscheinungsjahr
2002
Page URI
https://pub.uni-bielefeld.de/record/1992150

Zitieren

Schlangen D, Lascarides A. CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment. Edinburgh University; 2002.
Schlangen, D., & Lascarides, A. (2002). CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment. Edinburgh University.
Schlangen, D., and Lascarides, A. (2002). CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment. Edinburgh University.
Schlangen, D., & Lascarides, A., 2002. CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment, Edinburgh University.
D. Schlangen and A. Lascarides, CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment, Edinburgh University, 2002.
Schlangen, D., Lascarides, A.: CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment. Edinburgh University (2002).
Schlangen, David, and Lascarides, Alex. CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment. Edinburgh University, 2002.

Export

Markieren/ Markierung löschen
Markierte Publikationen

Open Data PUB

Suchen in

Google Scholar