Automatisches Theorembeweisen mit Konfigurationen.

Hellfried Böttger

Published in: J. Inf. Process. Cybern. (1985)

Keyphrases

test set
massachusetts institute of technology
image processing
database
decision trees
training data
learning algorithm