Login / Signup
An Implementation of the Model Elimination Proof Procedure.
S. Fleisig
Donald W. Loveland
A. K. Smiley III
D. L. Yarmush
Published in:
J. ACM (1974)
Keyphrases
</>
high level
probabilistic model
natural language
probability distribution
computational complexity