Login / Signup
On the Semantic Relation of Z and HOL.
Thomas Santen
Published in:
ZUM (1998)
Keyphrases
</>
semantic relations
theorem prover
wordnet
co occurrence
formal methods
natural deduction
relation extraction
natural language processing
semantic structure
noun compounds
knowledge sources
noun phrases
semantic relationships
web pages
dependency relations
word pairs
semantic roles