Поисковый запрос: (<.>R=28.23.17$<.>) |
Общее количество найденных документов : 14
Показаны документы с 1 по 14 |
1. 
| АР96-3816
Тулупьев, А. Л.
Алгебраические байесовские сети для представления и обработки знаний с неопределенностью [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. Л. Тулупьев. - СПб, 1996. - 16 с. : ил
В надзаг. :Рос.АН.С.-Петерб.ин-т информатики и автоматизации Библиогр.:с. 16(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
2.
| АР97-160
Мельцов, В. Ю.
Потоковая система дедуктивного логического вывода [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов. - СПб, 1996. - 14 с.
Библиогр.:с. 14 (6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
3.
| АР02-1676
Калинина, Т. В.
Абстракционные методы повышения эффективности логического вывода [Текст] : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина. - СПб., 2001. - 14 с.
В надзаг.: С.-Петерб. гос. ун-т. Библиогр.: с. 14)4 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
4.
| Ар05-715
Аверин, А. И.
Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. И. Аверин. - М., 2004. - 20 с. : ил. - Библиогр.: с. 19-20 (18 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
5.
| Ар07-1816
Новосельцев, В. Б.
Формальная теория структурных моделей описания информационных систем и методы установления выводимости [Текст] : автореф. дис. ... д-ра физ.-мат. наук : 05.13.01 / В. Б. Новосельцев. - Томск, 2006. - 31 с. - Библиогр.: с. 30-31 (30 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
6.
| Ар07-9068
Татаркин, Д. С.
Математическое и программное обеспечение механизма логического вывода в нечетких продукционных системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Д. С. Татаркин. - Воронеж, 2007. - 16 с. : ил. - Библиогр.: с. 15-16(11 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
7.
| Ар08-16
Томчук, М. Н.
Разработка метода и системы логического вывода модифицируемых заключений [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / М. Н. Томчук. - Киров, 2007. - 16 с. : ил. - Библиогр.: с. 16(9 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
8.
| Ар09-2192
Бурлаченко, Т. Б.
Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Т. Б. Бурлаченко. - М., 2008. - 18 с. : ил. - Библиогр.: с. 18(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
9.
| Ар09-7141
Томчук, М. Н.
Метод и система логического вывода модифицируемых заключений [Текст] : автореф. дис. ... канд. техн. наук : 05.13.17, 05.13.11 / М. Н. Томчук. - Пенза, 2009. - 19 с. : ил. - Библиогр.: с. 18-19(13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
10.
| АР10-29698
Зиновьев, И. П.
Нечеткая регрессионная модель и программный комплекс системы нечеткого логического вывода [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18 / И. П. Зиновьев. - Казань, 2010. - 18 с. : ил. - Библиогр.: с. 17-18 (11 назв.)
Кл.слова (ненормированные):
искусственный интеллект -- логический вывод -- представление знаний -- эффективность -- нечеткая регрессионная модель -- алгоритм обучения
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
11.
| Ар11-23235
Сироткин, А. В.
Алгебраические байесовские сети: вычислительная сложность алгоритмов логико-вероятностного вывода в условиях неопределенности [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.18, 05.13.17 / А. В. Сироткин. - СПб., 2011. - 16 с. - Библиогр.: с. 12-16 (64 назв.)
В надзаг.: С.-Петербург. ун-т
Кл.слова (ненормированные):
вероятностная логика -- искусственный интеллект -- мягкие вычисления
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
12.
| Ар12-19155
Зо Мью Хтет
Исследование и разработка параллельных методов вывода на аналитических таблицах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / Зо Мью Хтет. - М., 2012. - 20 с. : ил. - Библиогр.: с. 20 (5 назв.)
Кл.слова (ненормированные):
интеллектуальные системы -- логический вывод
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
13.
| Ар14-3483
Болотова, С. Ю.
Разработка и исследование метода релевантного обратного вывода [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.17 / С. Ю. Болотова. - М., 2014. - 16 с. - Библиогр.: с. 15-16 (15 назв.). - 100 экз.
В надзаг.: ФГБОУ ВПО МГУ им.ю М.В. Ломоносова
Кл.слова (ненормированные):
искусственный интеллект -- логический вывод
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
14.
| Ар14-13678
Чистяков, Г. А.
Метод и машина логического вывода для формальной верификации параллельных алгоритмов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11, 05.13.15 / Г. А. Чистяков. - СПб., 2014. - 22 с. : ил. - Библиогр.: с. 21-22 (24 назв.). - 100 экз.
Кл.слова (ненормированные):
символьная обработка -- темпоральная логика
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|
Главная страница
Российский сводный каталог по научно-технической литературе
Описание базы данных