Cherkashin Evgenii Aleksandrovich

Publications in Math-Net.Ru

1. On the calculus of positively constructed formulas for authomated theorem proving
   
   Model. Anal. Inform. Sist., 17:4 (2010),  60–70
2. Intellectual telescope guidance
   
   Sib. Zh. Ind. Mat., 1:2 (1998),  81–98