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