Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Рішення проблем

Виведення

Підтеми:

• Методи виведення
• Виведення, що базується на недостовірних знаннях
• Керування виведенням

Документи:

• Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти [Текст] : автореф. дис. канд. фіз.-мат. наук : 01.05.01 "Теоретичні основи інформатики та кібернетики" / Київ. нац. ун-т ім. Тараса Шевченка. — Київ, 2005. — 20 с.
• Исследование критических ситуаций в ит-инфраструктурах методами кластерного анализа [Текст] / Е.Н. Мащенко, В.И Шевченко // Радіоелектронні і комп'ютерні системи. — 2012. — С. 191-196.
• Исследование статистических характеристик передачи шифрованных информационных потоков через транзитный узел сети [Текст] / Ю.П. Николаева // Радіоелектронні і комп'ютерні системи. — 2012. — С. 96-101.
• Інформаційні технології підвищення функціональної безпеки систем обробки інформації критичного застосування [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 "Інформаційні технології" / Держ. служба України з надвичайних ситуацій, Львів. держ. ун-т безпеки життєдіяльності. — Львів, 2015. — 23 c.
• Інформаційні технології підтримки управлінських стратегій в корпоративних ієрархічних системах з розмитою структурою [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 "Інформаційні технології" / МОНМС України, Нац. ун-т "Львівська політехніка". — Львів, 2013. — 24 с.
• Метод логического прогнозирования развития ситуаций на основе абдуктивного вывода [Текст] / Д.А. Страбыкин // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 87-92.
• Нейронечіткі моделі для оцінювання рівня біокомфорту у малоповерхових будинках [Текст] : автореф. дис. ... канд. техн. наук : 05.13.23 "Системи та засоби штучного інтелекту" / МОНМС України, Нац. ун-т "Львівська політехніка". — Львів, 2012. — 20 с.
• Универсумная система категорических суждений силлогистики [Текст] / В.И. Масликов // Информационные технологии. — 2011. — С. 6-12.