| № | Дата |
Автор |
Заглавие |
|---|
|
2007 |
Потапов, Алексей Сергеевич (доктор технических наук) |
Распознавание образов и машинное восприятие : общ. подход на основе принципа минимальной длины описания / А. С. Потапов |
|
2015 |
Чистяков, Геннадий Андреевич |
Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич ; [Вятский государственный университет] |
|
2015 |
Козадаев, Константин Владимирович (доктор физико-математических наук, физик ; род. 1983) |
Интеллектуальные информационные системы и технологии : пособие для студентов, обучающихся по специальностям 1-31 04 04 "Аэрокосмические радиоэлектронные и информационные системы и технологии", 1-31 03 07 "Прикладная информатика (по направлениям)", направление специальности 1-31 03 07-02 "Прикладная информатика (информационные технологии телекоммуникационных систем)" / К. В. Козадаев, Е. И. Козлова ; Белорусский государственный университет |
|
2017 |
Павлов, Владимир Александрович (информационные технологии) |
Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Павлов Владимир Александрович ; [Санкт-Петербургский политехнический университет Петра Великого] |
|
2001 |
Кулик, Борис Александрович (род. 1941) |
Логика естественных рассуждений / Б. А. Кулик ; [редактор В. А. Дюк] |
|
2011 |
Советов, Борис Яковлевич (доктор технических наук ; род. 1937) |
Представление знаний в информационных системах : учебник : для студентов высших учебных заведений, обучающихся по направлению подготовки "Информационные системы и технологии" / Б. Я. Советов, В. В. Цехановский, В. Д. Чертовской |
|
2014 |
Борисов, Вадим Владимирович (доктор технических наук) |
Основы нечеткого логического вывода : учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 - "Информатика и вычислительная техника" / Борисов В. В., Федулов А. С., Зернов М. М |
|
2014 |
Чистяков, Геннадий Андреевич |
Метод и машина логического вывода для формальной верификации параллельных алгоритмов : автореферат диссертации на соискание ученой степени кандидата технических наук : специальности 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей, 05.13.15 Вычислительные машины, комплексы и компьютерные сети / Чистяков Геннадий Андреевич ; [Вятский государственный университет] |
|
2019 |
Балдин, Константин Васильевич (доктор экономических наук) |
Информационные системы в экономике : учебное пособие : студентам высших учебных заведений, обучающихся по направлению 38.03.01 "Экономика" (квалификация (степень) "бакалавр") / К. В. Балдин |
|
2006 |
Новосельцев, Виталий Борисович |
Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01 / Новосельцев Виталий Борисович ; [Томский политехнический университет] |
|
2009 |
Ездаков, Андрей Леонидович |
Экспертные системы САПР : учебное пособие для вузов / А. Л. Ездаков |
|
2014 |
Тати, Рейханех Хоссейнали (информатика) |
Метод построения систем нечеткого вывода для обнаружения сетевых аномалий : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Системный анализ, управление и обработка информации / Тати Рейханех Хоссейнали ; Государственное научное учреждение "Объединенный институт проблем информатики Национальной академии наук Беларуси" |
|
1999 |
Глухов, Дмитрий Олегович (кандидат технических наук, информатика и вычислительная техника ; род. 1972) |
Разработка и исследование методов повышения качества нечеткого управления сложными динамическими объектами : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.01 Управление в технических системах / Глухов Дмитрий Олегович ; Полоцкий государственный университет |
|
2016 |
Бронфельд, Геннадий Борисович |
Инженерные основы моделей знаний : учебное пособие для студентов, обучающихся по направлению "Информационные системы и технологии", "Инфокомуникативные технологии и системы связи" и "Информатика и вычислительная техника" / Г. Б. Бронфельд ; Министерство образования и науки Российской Федерации, Федеральное государственное бюджетное образовательное учреждение высшего образования "Нижегородский государственный технический университет им. Р. Е. Алексеева" |
|
2021 |
Корячко, Вячеслав Петрович (доктор технических наук ; род. 1941) |
Интеллектуальные системы и нечеткая логика : учебник для магистров высших учебных заведений, обучающихся по направлению подготовки 2.09.04.01 "Информатика и вычислительная техника" (квалификация "магистр") / В. П. Корячко, М. А. Бакулева, В. И. Орешков |
|
2007 |
Липовченко, Владимир Андреевич |
Логический вывод и обработка знаний в информационных средах : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09 / Липовченко Владимир Андреевич ; [Иркутский государственный университет] |
|
2014 |
Болотова, Светлана Юрьевна (кандидат физико-математических наук) |
Разработка и исследование метода релевантного обратного вывода : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.17 Теоретические основы информатики / Болотова Светлана Юрьевна ; ФГОУ ВПО Московский государственный университет им. М. В. Ломоносова |
|
2008 |
|
Многозначные логики и их применения : [сборник статей] / составители О. М. Аншаков, Д. В. Виноградов, В. К. Финн ; под редакцией В. К. Финна. — Т. 2: Логики в системах искусственного интеллекта |
|
2016 |
Каринский, Михаил Иванович (1840—1917) |
Классификация выводов / М. И. Каринский |
|
2017 |
Светлов, Виктор Александрович (доктор философских наук ; род. 1945) |
Научный вывод : байесовская парадигма / В. А. Светлов |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ