1. Електронний архів ДонНТУ м.Покровськ
  2. Архів публікацій до 2014 року
  3. Факультет комп'ютерних наук і технологій
  4. Кафедра програмного забезпечення інтелектуальних систем
  5. Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/18975
Назва: Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктов
Автори: Грунский, И.С.
Волченко, М.В.
Grunckiy, I.S.
Volchenko, M.V.
Дата публікації: 2010
Видавництво: Москва, Физматлит
URI (Уніфікований ідентифікатор ресурсу): http://ea.donntu.edu.ua/handle/123456789/18975
Розташовується у зібраннях:Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем

Файли цього матеріалу:
Файл Опис РозмірФормат 
CAI_2011.pdf927,83 kBAdobe PDFПереглянути/Відкрити
Показати повний опис матеріалу Перегляд статистики


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.