How to show something is not: Proofs in formal language and computability theory.

Published in: SIGCSE (1978)

Keyphrases

formal language
formal languages
formal semantics
machine learning
theorem prover
representation language
information systems
natural language
data mining
prior knowledge
cloud computing
natural language interface