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Просмотреть/Открыть
Показать полное описание ресурса Просмотр статистики


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.