Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты публикации
Авторы
Заголовки
Ключевые слова
Справка
Язык
English
українська
русский
Войти:
Регистрация пользователя
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
eNTUKhPIIR
Поиск
Поиск:
Весь архив электронных ресурсов
Бібліотека НТУ "ХПІ"
Військовий інститут танкових військ НТУ "ХПІ"
Вісники НТУ "ХПІ"
Дисертації та автореферати
Історія НТУ "ХПІ" [ХПТІ, ХТІ, ХХТІ, ХММІ, ХЕТІ, ХПІ]
Кафедри
Конференції, семінари
Науково-дослідний та проектно-конструкторський інститут "Молнія" (НДПКІ "Молнія" НТУ "ХПІ")
Озброєння та військова техніка
Освітній центр "Німецький технічний факультет"
Харківський комп'ютерно-технологічний фаховий коледж НТУ "ХПІ" (ХКТФК НТУ "ХПІ")
запрос
Текущие фильтры:
Название
Aвтор
Ключевые слова
Дата публикации
Тип
Язык
Отправитель
Издательство
Диссертации
Идентификатор ORCID
Идентификатор DOI
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Aвтор
Ключевые слова
Дата публикации
Тип
Язык
Отправитель
Издательство
Диссертации
Идентификатор ORCID
Идентификатор DOI
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-1 из 1.
назад
1
дальше
Найденные ресурсы:
Дата публикации
Название
Автор(ы)
2006
Использование алгебры предикатов и предикатных операций для формализации декларативной и процедурной составляющих знаний
Алисейко, З. А.
;
Булкин, В. И.
;
Канищева, Ольга Валерьевна
;
Шаронова, Наталья Валерьевна
Просмотр
Автор
1
Алисейко, З. А.
1
Булкин, В. И.
1
Канищева, Ольга Валерьевна
1
Шаронова, Наталья Валерьевна
Ключевые слова
1
единица предиката
1
логические МПЗ
1
модели представления знаний
1
продукционные МПЗ
1
сетевые МПЗ
1
сценарии
1
фреймовые МПЗ
по дате публикации
1
2006
Тип документа
1
Article
Язык документа
1
ru