JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Cherkashin, Evgenii Aleksandrovich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2
Number of views: This page: 405 Abstract pages: 1137 Full texts: 388 References: 42
Candidate of technical sciences
https://www.mathnet.ru/eng/person28326
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in Math-Net.Ru Citations
2010
1.
A. V. Davydov, A. A. Larionov, E. A. Cherkashin, “On the calculus of positively constructed formulas for authomated theorem proving”, Model. Anal. Inform. Sist. , 17 :4 (2010), 60–70
1
1998
2.
S. N. Vassilyev, E. A. Cherkashin, “Intellectual telescope guidance”, Sib. Zh. Ind. Mat. , 1 :2 (1998), 81–98
3
Organisations
Contact us: