LDR 01038naa#a2200241#i#450# 001 EN\\bibl\32413 005 20240426231710.5 011 ## _a2072-9502 100 ## _a20140725b2014####ek#y0engy0150####ca 101 0# _aRUS 102 ## _aRU 200 1# _aFORMATION OF THE REVERSE EXAMPLE AT VERIFICATION OF THE ALGORITHMS USING THE METHODS OF LOGICAL INFERENCE _eJournal article 210 1# _aAstrakhan _cAstrakhan State Technical University _d2014 215 ## _a7 с. 608 ## _aJournal article _2local 675 ## _a. 004.052.42 _zRUS 686 ## _aОбщие вопросы информатики. 20.01 _2grnti 686 ## _aОбщие вопросы кибернетики. 28.01 _2grnti 686 ## _aОбщие вопросы связи. 49.01 _2grnti 686 ## _aОбщие вопросы автоматики и вычислительной техники. 50.01 _2grnti 686 ## _aОбщие вопросы организации и управления. 82.01 _2grnti 700 #1 _aChistyakov _gGennadiy Andreevich 856 4# _avestnik.astu.org _u