Login / Signup

Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.

Heinrich HerreHelmut Wolter
Published in: Math. Log. Q. (1975)
Keyphrases
  • test set
  • massachusetts institute of technology
  • database
  • decision trees
  • learning algorithm