Absolute Explicit Unification.

Nikolaj Bjørner César A. Muñoz

Published in: RTA (2000)

Keyphrases

higher order
databases
machine learning
case study
theorem proving
neural network
decision trees
feature space
trade off
medical images