01038naa#a2200241#i#450# EN\\bibl\32413 20240514180506.2 2072-9502 20140725b2014####ek#y0engy0150####ca RUS RU FORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCE Journal article Astrakhan Astrakhan State Technical University 2014 7 с. Journal article local . 004.052.42 RUS Общие вопросы информатики. 20.01 grnti Общие вопросы кибернетики. 28.01 grnti Общие вопросы связи. 49.01 grnti Общие вопросы автоматики и вычислительной техники. 50.01 grnti Общие вопросы организации и управления. 82.01 grnti Chistyakov Gennadiy Andreevich vestnik.astu.org