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

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

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

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

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

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

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

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

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Lyaletski A. V.
Назва : Evidence algorithm and sad systems: Past and possible future
Місце публікування : Кибернетика и системный анализ: міжнародний науково-теоретичний журнал. - Київ: Інститут кібернетики ім. В. М. Глушкова НАН України, 2021. - № 1. - С. 12-20. - ISSN 0023-1274 (Шифр К499224528/2021/1). - ISSN 0023-1274
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): алгоритм очевидності--система sad--автоматизація міркувань--автоматизація пошуку доведень теорем--прувер
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Лялецький О. В.
Назва : В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи сад і SAD
Місце публікування : Математичні машини і системи: науковий журнал/ Національна академія наук України, Інститут проблем математичних машин і систем НАН України. - Київ, 2020. - N 4. - С. 3-10. - ISSN 1028-9763 (Шифр М750337435/2020/4). - ISSN 1028-9763
Примітки : Бібліогр. в кінці ст.
Ключові слова (''Вільн.індекс.''): алгоритм очевидності--автоматизація пошуку доведень теорем--формальна природна мова--секвенційний формалізм--резолюційний метод--дедукція
Знайти схожі

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