Электронный архив
Донецкого национального технического университета (г.Донецк)
Electronic archive of Donetsk national technical university (Donetsk)
 

Расширенный поиск
Главная страница
 
Просмотреть
Разделы
и коллекции
По дате
По автору
По заглавию
По тематике
 
Зарегистрированным:
Обновления на e-mail
Мой архив
ресурсов
Редактировать профиль
 
О DSpace

eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра программного обеспечения интеллектуальных систем >
Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем >

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.ru/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Просмотреть/Открыть

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