Login / Signup
An Abstract View of Sorted Unification.
Alan M. Frisch
Anthony G. Cohn
Published in:
CADE (1992)
Keyphrases
</>
low level
higher order
decision trees
multiple views
knowledge representation
website
object oriented
higher level
theorem proving