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