Чистяков Геннадий Андреевич

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

1. Формирование контрпримера при верификации алгоритмов с помощью методов логического вывода
   
   Вестн. Астрахан. гос. техн. ун-та. Сер. управление, вычисл. техн. информ., 2014, № 3,  50–57