Приложение
для AndroidПолное описание
Титенко, Е. А. Мультипроцессор для реализации исчислительных систем продукций с безвозвратной стратегией выводов : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. А. Титенко. - Курск : [б. и.], 1997. - 18 с. : ил. - Текст : непосредственный.
В надзаг. : Кур. гос. техн. ун-т. Библиогр.:с. 14-15 (5 назв.)
| ГРНТИ | УДК | |
| 28.23.20 | 004.82(043) |
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Копия: мкф.
Вербицкий О.В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / О. В. Вербицкий, 1994. - 11 с. - Текст : непосредственный.Титенко Е.А. Мультипроцессор для реализации исчислительных систем продукций с безвозвратной стратегией выводов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. А. Титенко, 1997. - 18 с. - Текст : непосредственный.Малышко В.В. Система планирования решений задач на основе дедуктивных и ассоциативных методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. В. Малышко, 2000. - 20 с. - Текст : непосредственный.Нгуен Тан Ан.Исследование и разработка методов построения нечетких стратегий решения проблем на основе триангулярных норм : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / Нгуен Тан Ан, 2002. - 20 с. - Текст : непосредственный.Мерцалов А.А. Программное инструментальное средство для разработки систем поддержки принятия решений на основе лингвистических моделей : автореф. дис. .. канд. техн. наук : 05.13.11 / А. А. Мерцалов, 2003. - 22 с. - Текст : непосредственный.Хованов К.Н. Комплекс алгоритмов генерации композиций для построения систем поддержки принятия решений : автореф. дис. .. канд. техн. наук : 05.13.11 / К. Н. Хованов, 2004. - 17 с. - Текст : непосредственный.Филиппов С.Ж. Параметрическая идентификация систем поддержки принятия решений на основе параллельных генетических алгоритмов : автореф. дис. .. канд. техн. наук : 05.13.01 / С. Ж. Филиппов , 2003. - 16 с. - Текст : непосредственный.Троицкий В.В. Методы и программные средства представления временных зависимостей в интеллектуальных системах поддержки принятия решений : автореф. дис. .. канд. техн. наук : 05.13.11 / В. В. Троицкий, 2004. - 20 с. - Текст : непосредственный.Калошина И.П. Последняя теорема Ферма в моделях искусственного интеллекта / И.П.Калошина, 1995. - 50 c. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Модели и системы представления знаний : Сб. науч. тр. межвуз. / Моск. ин-т радиотехники, электрон. и автоматики, 1990. - 108 с. - Текст : непосредственный.Adair J. Problem solving : A top-down approach / J.Adair, 1989. - XIII,249 с. - Текст : непосредственный.Vinsonhaler J.F. People and computers:Parthers in problem solving / J.F.Vinsonhaler,C.C.Wagner,C.G.Gentry, 1989. - XII,565 p. p. - Текст : непосредственный.Kowalski R. Logic for problem solving / R.Kowalski, 1979. - 287 p. - Текст : непосредственный.Джонс Ж. Решение задач в системе Турбо Паскаль / Ж.Джонс,К.Харроу, 1991. - 718 c. - Текст : непосредственный.Brown D.C. Design problem solving : Knowledge structures and control strategies / D.C.Brown,B.Chandrasekaran, 1989. - 199 p. - Текст : непосредственный.Соснин П.И. Моделирование рассуждений : Конспект лекций для студентов направления "Информатика и вычисл.техника" / П.И.Соснин, 2000. - 74 с. - Текст : непосредственный.Ковальски Р. Логика в решении проблем / Р.Ковальски, 1990. - 278 с. - Текст : непосредственный.Bots P.W.G. environment to support problem solving : Diss. / P.W.G.Bots, 1989. - 249 p. - Текст : непосредственный. Problem-solving methods : Understanding, description, development, and reuse / Ed. D. Fensel, 2000. - IX, 153 p. 153 p. - Текст : непосредственный.
Показать все результатыКовалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Иванов Д.А. Представление знаний и поддержка рассуждений с использованием ограничений : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.11 / Д. А. Иванов, 1993. - 20 с. - Текст : непосредственный.Корольков О.Ф. Устройства обработки символьной информации для реализации размеченных систем продукций с алфавитными переменными : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / О. Ф. Корольков, 1994. - 20 с. - Текст : непосредственный.Бениаминов Е.М. Алгебраические методы в теории баз данных и представлении знаний : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / Е. М. Бениаминов, 1996. - 17 с. - Текст : непосредственный.Титенко Е.А. Мультипроцессор для реализации исчислительных систем продукций с безвозвратной стратегией выводов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. А. Титенко, 1997. - 18 с. - Текст : непосредственный.Веретенников А.А. Базовый специализированный процессор для реализации растровой системы продукций : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / А. А. Веретенников, 1999. - 20 с. - Текст : непосредственный.Довгаль В.М. Теоретические основы и разработка устройств быстрых продукционных вычислений для систем обработки символьной информации : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05 / В. М. Довгаль, 1999. - 44 с. - Текст : непосредственный.Шуклина Е.В. Параллельные символьные процессоры с позиционной формой представления данных : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. В. Шуклина, 2000. - 19 с. - Текст : непосредственный.Мамедниязова Н.С. Метод управления концептуальными моделями данных в системе представления знаний : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Н. С. Мамедниязова, 2000. - 15 с. - Текст : непосредственный.Богданов К.С. Интеллектуальная система программирования FramIX для представления знаний в системах принятия решений : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / К. С. Богданов, 2001. - 18 с. - Текст : непосредственный.Дашкиев Г.Н. Исследование методов представления информации и разработка аппаратных средств интерпретации знаний : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Г. Н. Дашкиев, 1990. - 15 с. - Текст : непосредственный.Шушакова А.Г. Исследование методов представления и обработки знаний средствами дескриптивной логики : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / А. Г. Шушакова, 2002. - 24 с. - Текст : непосредственный.Ельчанинова Н.Б. Разработка декларативных методов представления знаний для моделирования и исследования нормативных текстов : автореф. дис. .. канд. техн. наук : 05.13.17 / Н. Б. Ельчанинова, 2002. - 16 с. - Текст : непосредственный.Прохоров В.В. Технология компонентных моделей представления знаний и ее приложения к построению гетерогенных компьютерных сред : автореф. дис. .. д-ра физ.-мат. наук : 05.13.18 / В. В. Прохоров, 2003. - 32 с. - Текст : непосредственный.Гавриленко Т.В. Представление знаний о динамической предметной области методами теоретико-множественного анализа : автореф. дис. .. канд. техн. наук : 05.13.01 / Т. В. Гавриленко, 2004. - 21 с. - Текст : непосредственный.Bittencourt G. architecture for hybrid knowledge representation : Diss. / G.Bittencourt, 1990. - XIII,249 p. p. - Текст : непосредственный. Хаптахаева Н.Б. Модель МП-процессора, выполняющего преобразование естественно-языкового представления ядра продукции в формулу логики предикатов : автореф. дис. .. канд. техн. наук : 05.13.11 / Н.Б. Хаптахаева, 2005. - 19 с. - Текст : непосредственный.Иванов А.С. Математические модели и алгоритмы функционирования продукционных баз знаний : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / А. С. Иванов, 2007. - 20 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽