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

Schlangen D, Lascarides A (2002)
Edinburgh University.

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Report | Veröffentlicht | Englisch
Autor
;
Erscheinungsjahr
PUB-ID

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