Login / Signup

Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.

Helmut Wolter
Published in: Math. Log. Q. (1975)
Keyphrases
  • test set
  • massachusetts institute of technology
  • machine learning
  • databases
  • search engine
  • general purpose