Login / Signup

Model theoretical investigation of theorem proving methods.

Tamás GergelyKonstantin Vershinin
Published in: Notre Dame J. Formal Log. (1978)
Keyphrases
  • theorem proving
  • probabilistic model
  • theoretical investigation
  • natural language
  • inference rules