1. Електронний архів ДонНТУ м.Покровськ

Просмотр собрания по группе - Авторы Volchenko, M.V.

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 5 из 5
Дата выпускаНазваниеАвтор(ы)
2013-05-19RESOLUTION ALGORITHM OPTIMIZATION USING TERNARY CLAUSES REPRESENTATIONVolchenko, M.V.
2010Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктовГрунский, И.С.; Волченко, М.В.; Grunckiy, I.S.; Volchenko, M.V.
2010Оптимизация алгоритма вывода в логике высказываний для 0,1-ного представления дизъюнктовВолченко, М.В.; Volchenko, M.V.
2012Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктовВолченко, М.В.; Volchenko, M.V.
2009Представление терминов для алгоритма резолюций логики высказыванийВолченко, М.В.; Volchenko, M.V.
Результаты 1 по 5 из 5