Login / Signup
Theorem proving software, based on method of positively-constructed formulae.
A. A. Larionov
Evgeny A. Cherkashin
A. V. Davydov
Published in:
MIPRO (2011)
Keyphrases
</>
theorem proving
automated theorem proving
probabilistic model