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

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

Зона пошуку

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: (<.>K=алгоритм очевидності<.>)

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

Lyaletski, A. V.
Evidence algorithm and sad systems: Past and possible future [Текст] / A. V. Lyaletski // Кибернетика и системный анализ : міжнародний науково-теоретичний журнал. - 2021. - № 1. - С. 12-20. - Бібліогр. в кінці ст. . - ISSN 0023-1274

Кл.слова (ненормовані):
Алгоритм Очевидності -- система SAD -- автоматизація міркувань -- автоматизація пошуку доведень теорем -- прувер

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

Знайти схожі

Лялецький, О. В.
В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи сад і SAD [Текст] / О. В. Лялецький // Математичні машини і системи = Mathematical machines and systems = Математические машины и системы : науковий журнал. - 2020. - N 4. - С. 3-10. - Бібліогр. в кінці ст. . - ISSN 1028-9763

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

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

Знайти схожі

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