Some Independent Results for Equational Unification.

Friedrich Otto Paliath Narendran Daniel J. Dougherty

Published in: RTA (1995)

Keyphrases

equational theories
theorem proving
theorem prover
image processing
higher order
feature space
probabilistic model
expert systems
automated theorem proving
horn clauses
color images
data mining
data structure
multiscale
database systems
three dimensional
case study
computer vision