On the Unification Hierarchy.

Ronald V. Book Jörg H. Siekmann

Published in: GWAI (1985)

Keyphrases

higher order
theorem proving
higher level
hierarchical structure
real time
image processing
evolutionary algorithm
theorem prover
lower level
hierarchical organization