Login / Signup
Meteor: Exploring Model Elimination Theorem Proving.
Owen L. Astrachan
Published in:
J. Autom. Reason. (1994)
Keyphrases
</>
theorem proving
probabilistic model
search algorithm