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