Unification in Many-Sorted Theories.

Christoph Walther

Published in: ECAI (1984)

Keyphrases

equational theories
higher order
theoretical framework
theorem prover
theorem proving
computer vision
mobile robot
databases
cognitive psychology
neural network
collaborative learning
database
cognitive science
theoretical models
legal knowledge
descending order
data sets