01084naa#a2200253#i#4500001001500000003001700015005001700032011001400049100004100063101000800104102000700112200012700119210005800246215001000304608002700314675002200341686006700363686006700430686005500497686011200552686009100664700003700755856003800792EN\\bibl\32413/en/manage/index20250519061752.1##a2072-9502##a20140725b2014####ek#y0engy0150####ca0#aRUS##aRU1#aFORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCEeJournal article1#aAstrakhancAstrakhan State Technical Universityd2014##a7 с.##aJournal article2local##a. 004.052.42zRUS##aОбщие вопросы информатики. 20.012grnti##aОбщие вопросы кибернетики. 28.012grnti##aОбщие вопросы связи. 49.012grnti##aОбщие вопросы автоматики и вычислительной техники. 50.012grnti##aОбщие вопросы организации и управления. 82.012grnti#1aChistyakovgGennadiy Andreevich 4#afht.editorum.ruu/en/manage/index