Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/14331
Название: Представление термов для алгоритма резолюции логики высказываний
Авторы: Волченко, М.В.
Дата публикации: ноя-2009
Издательство: Донецкий национальный технический университет
Серия/номер: Информатика и компьютерные технологии;V
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/14331
Располагается в коллекциях:Наукові публікації кафедри комп'ютерної інженерії

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


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