What You Always Wanted to Know about Rigid E-Unification.

Anatoli Degtyarev Andrei Voronkov

Published in: J. Autom. Reason. (1998)

Keyphrases

three dimensional
higher order
automated theorem proving
neural network
key concepts
bayesian networks
data structure
theorem proving
theorem prover
multi agent systems
data sets
relational databases
special case
multiscale
image sequences
image processing
machine learning
databases