Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Cherkashin, Evgenii Aleksandrovich Candidate of technical sciences https://www.mathnet.ru/eng/person28326 List of publications on Google Scholar 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 Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk