Login / Signup
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving.
Heng Chu
David A. Plaisted
Published in:
ISMIS (1993)
Keyphrases
</>
theorem proving
probability distribution
artificial intelligence
probabilistic model