Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Темы
Справка
Язык
English
русский
українська
Зарегистрированным:
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Донецкий национальный технический университет
Електронний архів ДонНТУ м.Покровськ
Поиск
Поиск:
Весь архив электронных ресурсов
Архів публікацій до 2014 року
Факультет комп'ютерних наук і технологій
Кафедра автоматизованих систем управління
Кафедра комп'ютерних систем моніторингу
Кафедра комп'ютерної інженерії
Кафедра обчислювальної математики і програмування
Кафедра прикладної математики та інформатики
Кафедра програмного забезпечення інтелектуальних систем
Кафедра систем штучного інтелекту
Кафедра системного аналізу та моделювання
Кафедра філософії
Публикации и доклады Аноприенко А.Я.
Різне
Інформаційні матеріали факультету КНТ
Історія факультету КНТ
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-5 из 5.
назад
1
дальше
Найденные ресурсы:
Дата выпуска
Название
Автор(ы)
2009-11
Представление термов для алгоритма резолюции логики высказываний
Волченко, М.В.
2012
Оптимизация алгоритма резолюции в логике высказываний при помощи 0,1-ного представления дизъюнктов
Волченко, М.В.
;
Volchenko, M.V.
2010
Алгоритм резолюций в логике высказываний при 0-1-ном представлении дизъюнктов
Грунский, И.С.
;
Волченко, М.В.
;
Grunckiy, I.S.
;
Volchenko, M.V.
2010
Оптимизация алгоритма вывода в логике высказываний для 0,1-ного представления дизъюнктов
Волченко, М.В.
;
Volchenko, M.V.
2009
Представление терминов для алгоритма резолюций логики высказываний
Волченко, М.В.
;
Volchenko, M.V.
Просмотр
Автор
4
Volchenko, M.V.
1
Grunckiy, I.S.
1
Грунский, И.С.
по дате выпуска
2
2009
2
2010
1
2012
Has File(s)
5
true