Login / Signup
Towards a Unification-Based Phonology.
Richard Wiese
Published in:
COLING (1990)
Keyphrases
</>
higher order
theorem proving
equational theories
artificial intelligence
knowledge base
active learning
multi dimensional
fine grained
theorem prover
automated theorem proving