Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/18975| Назва: | Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктов |
| Автори: | Грунский, И.С. Волченко, М.В. Grunckiy, I.S. Volchenko, M.V. |
| Дата публікації: | 2010 |
| Видавництво: | Москва, Физматлит |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/18975 |
| Розташовується у зібраннях: | Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| CAI_2011.pdf | 927,83 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.