A. V. Davydov

Publication Activity (10 Years)

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

Top Topics

Medical Decision Support Systems

Natural Resources

Decision Support

Top Venues

Publications

Evgeny A. Cherkashin, S. Badmatsyrenova, Igor N. Vladimirov, Anastasia K. Popova, A. V. Davydov
An optimal control module of sustainable natural resources consumption control synthesis for decision support systems. MIPRO (2014)
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)