Chistyakov Gennadii Andreevich

Publications in Math-Net.Ru

1. Formation of the reverse example at verification of the algorithms using the methods of logical inference
   
   Vestn. Astrakhan State Technical Univ. Ser. Management, Computer Sciences and Informatics, 2014, no. 3,  50–57