Донецький національний технічний університет
Перегляд зібрання за групою - Автори Волченко, М.В.
Результати 1 до 5 із 5
| Дата випуску | Назва | Автор(и) |
| 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. |
| 2009-11 | Представление термов для алгоритма резолюции логики высказываний | Волченко, М.В. |
