Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren.

Heinrich Herre Alexander G. Pinus

Published in: Math. Log. Q. (1978)

Keyphrases

test set
massachusetts institute of technology
image processing
data sets
error rate
data mining
machine learning
face recognition
decision trees