Бібліотека Київського столичного університету імені Бориса Грінченка

Електронний каталог бібліотеки

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Пошуковий запит: (<.>K=принцип резюлюції<.>)

Загальна кількість знайдених документів : 1

Самохвалов, Ю. Я.
Доказательство теорем в нечеткой логике на основе структурной резоляции [Текст] / Ю. Я. Самохвалов // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2019. - № 2. - С. 44-58. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
автоматичне доведення теорем -- нечітка теорема -- принцип резюлюції -- наближені міркування -- композиційне правило

Є примірники у відділах: всього 1 : ГП ЧЗ (1)
Вільні: ГП ЧЗ (1)

Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)