A. A. Larionov

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

A. A. Larionov, Evgeny A. Cherkashin, A. V. Davydov
Theorem proving software, based on method of positively-constructed formulae. MIPRO (2011)
A. V. Davydov, A. A. Larionov, Evgeny A. Cherkashin
On the calculus of positively constructed formulas for automated theorem proving. Autom. Control. Comput. Sci. 45 (7) (2011)