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