-Unification with One Variable.

Anatoli Degtyarev Yuri Gurevich Paliath Narendran Margus Veanes Andrei Voronkov

Published in: RTA (1998)

Keyphrases

higher order
feature extraction
theorem proving
databases
neural network
multiresolution
knowledge base
multimedia
data structure
preprocessing
evolutionary algorithm
first order logic