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: 406 Abstract pages: 1145 Full texts: 390 References: 44
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