Login / Signup

An Implementation of the Model Elimination Proof Procedure.

S. FleisigDonald W. LovelandA. K. Smiley IIID. L. Yarmush
Published in: J. ACM (1974)
Keyphrases
  • high level
  • probabilistic model
  • natural language
  • probability distribution
  • computational complexity