Login / Signup

An Abstract View of Sorted Unification.

Alan M. FrischAnthony G. Cohn
Published in: CADE (1992)
Keyphrases
  • low level
  • higher order
  • decision trees
  • multiple views
  • knowledge representation
  • website
  • object oriented
  • higher level
  • theorem proving