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 wurden keine Dateien hochgeladen. Nur Publikationsnachweis!
Autor*in
Schlangen, DavidUniBi 
;
Lascarides, Alex
;
Lascarides, AlexErscheinungsjahr
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, David, and Lascarides, Alex. 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.
Google Scholar