Review: Word, Proofs and Diagrams.

Alice ter Meulen

Published in: J. Log. Comput. (2004)

Keyphrases

co occurrence
n gram
theorem proving
literature review
decision procedures
data sets
artificial intelligence
word sense disambiguation
theorem prover
word recognition
relevant literature
sentence level
text corpus
related words