01038naa#a2200241#i#4500001001500000005001700015011001400032100004100046101000800087102000700095200012700102210005800229215001000287608002700297675002200324686006700346686006700413686005500480686011200535686009100647700003700738856002100775EN\\bibl\3241320241122130056.5##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#avestnik.astu.org