Черкашин Евгений Александрович

Публикации в базе данных Math-Net.Ru

1. Об исчислении позитивно-образованных формул для автоматического доказательства теорем
   
   Модел. и анализ информ. систем, 17:4 (2010),  60–70
2. Интеллектное управление телескопом
   
   Сиб. журн. индустр. матем., 1:2 (1998),  81–98