Донецький національний технічний університет
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
https://ea.donntu.edu.ua/jspui/handle/123456789/14331| Назва: | Представление термов для алгоритма резолюции логики высказываний |
| Автори: | Волченко, М.В. |
| Дата публікації: | лис-2009 |
| Видавництво: | Донецкий национальный технический университет |
| Серія/номер: | Информатика и компьютерные технологии;V |
| URI (Уніфікований ідентифікатор ресурсу): | http://ea.donntu.edu.ua/handle/123456789/14331 |
| Розташовується у зібраннях: | Наукові публікації кафедри комп'ютерної інженерії |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| 5_Волченко.pdf | 3,73 MB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.