Login / Signup
A Strong Completeness Theorem for Pragmatics.
Daniel Vanderveken
Published in:
Math. Log. Q. (1981)
Keyphrases
</>
natural language processing
knowledge base
high quality
formal semantics
von neumann
formal proofs