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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

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

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

Лялецький О. В. В. М. Глушков і автоматизація пошуку доведень теорем в Україні: алгоритм очевидності та системи сад і SAD/О. В. Лялецький // Математичні машини і системи. -Київ, 2020,N N 4.-С.3-10

Lyaletski A. V. Evidence algorithm and sad systems: Past and possible future/A. V. Lyaletski // Кибернетика и системный анализ. -Київ:Інститут кібернетики ім. В. М. Глушкова НАН України, 2021,N № 1.-С.12-20

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