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

Schlangen D, Lascarides A (2002)
Edinburgh University.

Report | Published | English

No fulltext has been uploaded

Author
;
Publishing Year
PUB-ID

Cite this

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.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Search this title in

Google Scholar