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

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

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

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.ru/handle/123456789/18977

Название: Представление терминов для алгоритма резолюций логики высказываний
Авторы: Волченко, М.В.
Volchenko, M.V.
Дата публикации: 2009
URI: http://ea.donntu.edu.ua/handle/123456789/18977
Располагается в коллекциях:Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем

Файлы этого ресурса:

Файл Описание РазмерФормат
VolchenkoMV_DonNTU_2009.pdf833.27 kBAdobe PDFПросмотреть/Открыть

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