Universal Unification.

Jörg H. Siekmann Peter Szabó

Published in: GWAI (1982)

Keyphrases

higher order
equational theories
theorem proving
theorem prover
data sets
neural network
database
real world
machine learning
artificial intelligence
computer vision
decision trees
case study
artificial neural networks