Login / Signup
A New Method for the Boolean Ring Based Theorem Proving.
Hantao Zhang
Published in:
J. Symb. Comput. (1994)
Keyphrases
</>
theorem proving
probabilistic model
automated deduction
consequence finding