1. Електронний архів ДонНТУ м.Покровськ
  2. Фонди реорганізованих підрозділів
  3. Факультет комп'ютерних наук і технологій
  4. Кафедра комп'ютерної інженерії
  5. Наукові публікації кафедри комп'ютерної інженерії
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: https://ea.donntu.edu.ua/jspui/handle/123456789/14331
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorВолченко, М.В.-
dc.date.accessioned2012-06-22T06:28:40Z-
dc.date.available2012-06-22T06:28:40Z-
dc.date.issued2009-11-
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/14331-
dc.publisherДонецкий национальный технический университетen_US
dc.relation.ispartofseriesИнформатика и компьютерные технологии;V-
dc.titleПредставление термов для алгоритма резолюции логики высказыванийen_US
dc.typeArticleen_US
Розташовується у зібраннях:Наукові публікації кафедри комп'ютерної інженерії

Файли цього матеріалу:
Файл Опис РозмірФормат 
5_Волченко.pdf3,73 MBAdobe PDFПереглянути/Відкрити
Показати базовий опис матеріалу Перегляд статистики


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