Login / Signup

A Simplified Format for the Model Elimination Theorem-Proving Procedure.

Donald W. Loveland
Published in: J. ACM (1969)
Keyphrases
  • theorem proving
  • probabilistic model
  • machine learning
  • formal model
  • decision procedures