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

Anatoli Degtyarev Andrei Voronkov

Published in: JELIA (1996)

Keyphrases

higher order
three dimensional
theorem proving
automated theorem proving
machine learning
knuth bendix
data sets
real world
artificial intelligence
e learning
image processing
hidden markov models
logic programming
theorem prover