01234naa#a2200241#i#450# RU\\bibl\32413 20240425070902.4 2072-9502 20140725b2014####ek#y0rusy0150####ca RUS RU ФОРМИРОВАНИЕ КОНТРПРИМЕРА ПРИ ВЕРИФИКАЦИИ АЛГОРИТМОВ С ПОМОЩЬЮ МЕТОДОВ ЛОГИЧЕСКОГО ВЫВОДА Журнальная статья Астрахань Астраханский государственный технический университет 2014 7 с. Журнальная статья local . 004.052.42 RUS Общие вопросы информатики. 20.01 grnti Общие вопросы кибернетики. 28.01 grnti Общие вопросы связи. 49.01 grnti Общие вопросы автоматики и вычислительной техники. 50.01 grnti Общие вопросы организации и управления. 82.01 grnti Чистяков Геннадий Андреевич vestnik.astu.org