Приложение
для AndroidПолное описание
Чернойван, К. Г. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. Г. Чернойван. - Владивосток : [б. и.], 1997. - 16 с. : ил. - Текст : непосредственный.
В надзаг. :Рос.АН. Дальневост. отд-ние. Ин-т автоматики и процессов управления. Библиогр.:с. 16(5 назв.)
| ГРНТИ | УДК | |
| 50.10 | 004.832.3(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Клавиатура. Справочная карта : Инструкция по обнаружению и устранению взаимных помех, возникающих между работающими телерадиоприемниками и компьютером, а также по подключению клавиатуры / ВЦП. - 5 с. - Текст : непосредственный.Матричное печатающее устройство модели EPSON LQ-1010 : Руководство пользователя / ВЦП. - 193 с. - Текст : непосредственный.Матричное печатающее устройство EPSON модели LQ-1010 : Руководство пользователя / ВЦП. - 144 с. - Текст : непосредственный.Манипулятор типа "мышь" фирмы Микрософт : Руководство для пользователя / ВЦП. - 49 с. - Текст : непосредственный.Доступ к карте ЦСИО языка Modula-2 / ЦНТИинформсвязь. - 15 с. - Текст : непосредственный.Статистический пакет SYGRAPH / ВЦП. - 105 c. - Текст : непосредственный.Full House EGAMAX 860 : Руководство пользователя по программному обеспечению / ВЦП. - 30 c. - Текст : непосредственный.IBM-совместимый принтер "Майкролайн" 182/183 : Руководство по эксплуатации / ВЦП. - 151 c. - Текст : непосредственный.Экранное копировальное устройство : Руководство по эксплуатации для моделей 1224 и 2430 / ВЦП. - 45 c. - Текст : непосредственный.Инструкция по эксплуатации моделей Форслунд 35-00 и 35-22 / ВЦП. - 33 c. - Текст : непосредственный.Модуль управления интерфейсом ABS IC3606YABAI : Инструкция по эксплуатации / ВЦП. - 310 c. - Текст : непосредственный.Протокол испытаний / ВЦП. - 18 c. - Текст : непосредственный.Инструкция по техническому обслуживанию / ВЦП. - 209 c. - Текст : непосредственный.TLA-команда пересылки меток / ВЦП. - 108 с. - Текст : непосредственный.Печатающее устройство Лазер Джет 2000 : Инструкция по обслуживанию. Гл.7-10 / ВЦП. - 296 c. - Текст : непосредственный.Графопостроитель ИНСТРОН 6000 : Инструкция по эксплуатации / ВЦП. - 18 c. - Текст : непосредственный.Монитор SC-431E : Руководство пользователя / ВЦП. - 13 c. - Текст : непосредственный.Инструкция по сервисному обслуживанию печатающего устройства НР 2684, относящегося к серии устройств с торговой маркой Лазер Джет 2000 / ВЦП. - 157 с. - Текст : непосредственный.Печатающее устройство НР-3684 из серии с торговой маркой Лазер Джет 2000 : Руководство по сервисному обслуживанию. Гл.6.Техн.обслуживание основных функциональных узлов. Разд.4-8 / ВЦП. - 169 с. - Текст : непосредственный.Опция цифрового ввода-вывода анализатора формы сигнала 466.80 / ВЦП. - 100 c. - Текст : непосредственный.
Показать все результатыВасильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный.Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный.Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.Артемьева И.Л. Разработка и исследование системы недоопределенного вывода для декларативных продукций : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. Л. Артемьева, 1992. - 18 с. - Текст : непосредственный.Дедкова Т.Г. Разработка методов и алгоритмов интеграции неоднородных продукционных систем управления выводом знании : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Т. Г. Дедкова, 1994. - 24 с. - Текст : непосредственный.Ву Тхань Нгуен.Треугольные нормы, транзитивное замыкание нечетких бинарных отношений и нечеткие выводы : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Ву Тхань Нгуен, 1996. - 15 с. - Текст : непосредственный.Чернойван К.Г. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. Г. Чернойван, 1997. - 16 с. - Текст : непосредственный.Тишков А.В. Алгоритмы выводимости в рациональнозначных логиках для представления знаний : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / А. В. Тишков, 1999. - 14 с. - Текст : непосредственный.Жерлов А.К. Логическое исчисление позитивно-образованных формул, его свойства и применение : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. К. Жерлов, 1999. - 22 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : автореф. дис. .. канд. техн. наук : 05.13.11 / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный.Формальная теория структурных моделей описания информационных систем и методы установления выводимости : автореф. дис. .. д-ра физ.-мат. наук : 05.13.01 / В. Б. Новосельцев, 2006. - 31 с. - Текст : непосредственный.Математическое и программное обеспечение механизма логического вывода в нечетких продукционных системах : автореф. дис. .. канд. техн. наук : 05.13.11 / Д. С. Татаркин, 2007. - 16 с. - Текст : непосредственный.Логический вывод и обработка знаний в информационных средах : автореф. дис. .. канд. физ.-мат. наук : 01.00.09 / В. А. Липовченко, 2007. - 19 с. - Текст : непосредственный.Разработка метода и системы логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук : 05.13.01 / М. Н. Томчук, 2007. - 16 с. - Текст : непосредственный.Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области : автореф. дис. .. канд. техн. наук : 05.13.11 / Т. Б. Бурлаченко, 2008. - 18 с. - Текст : непосредственный.Метод и система логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук : 05.13.17, 05.13.11 / М. Н. Томчук, 2009. - 19 с. - Текст : непосредственный.Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений : автореф. дис. .. канд. техн. наук : 05.13.17 / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный.Зиновьев И.П. Нечеткая регрессионная модель и программный комплекс системы нечеткого логического вывода : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / И. П. Зиновьев, 2010. - 18 с. - Текст : непосредственный.Зо Мьо Хтет.Исследование и разработка параллельных методов вывода на аналитических таблицах : автореф. дис. .. канд. техн. наук : 05.13.11 / Зо Мьо Хтет, 2012. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽