Universal Unification.

Jörg H. Siekmann

Published in: CADE (1984)

Keyphrases

theorem proving
equational theories
real world
cooperative
databases
neural network
genetic algorithm
learning algorithm
database systems
digital libraries
theorem prover
multi valued
kolmogorov complexity