Login / Signup
Model theoretical investigation of theorem proving methods.
Tamás Gergely
Konstantin Vershinin
Published in:
Notre Dame J. Formal Log. (1978)
Keyphrases
</>
theorem proving
probabilistic model
theoretical investigation
natural language
inference rules