Приложение
для AndroidПолное описание
Kowalski, R. Logic for problem solving / R.Kowalski. - New York, NY ; Oxford : North-Holland, 1979. - 287 p. - (Artificial intelligence series ; n7). - ISBN 0-444-00365-7 : 12.00 р. - Текст : непосредственный.
Библиогр.:с.247-260. Указ.:с.262-287
| ГРНТИ | УДК | |
| 28.23.20 | 004.832 |
Рубрики:
Искусственный интеллект -- Решение задач
Имеются экземпляры в отделах: всего 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. - Текст : непосредственный.
Показать все результатыВасильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук: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 с. - Текст : непосредственный.Кулик Б.А. Методы уменьшения трудоемкости решения сложных интеллектуальных задач на основе алгебры кортежей : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Б. А. Кулик, 1996. - 19 с. - Текст : непосредственный.Ву Тхань Нгуен.Треугольные нормы, транзитивное замыкание нечетких бинарных отношений и нечеткие выводы : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / Ву Тхань Нгуен, 1996. - 15 с. - Текст : непосредственный.Мелихова О.А. Разработка методов построения интеллектуальных систем обработки информации и принятия решений на основе нечеткой логики : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.14 / О. А. Мелихова, 1997. - 15 с. - Текст : непосредственный.Гулямов Ш.Б. Математическое и программное обеспечение решения первопорядковых логических уравнений : Автореферат диссертации на соискание ученой степени канд.техн. наук:05.13.11 / Ш. Б. Гулямов, 1997. - 15 с. - Текст : непосредственный.Чернойван К.Г. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. Г. Чернойван, 1997. - 16 с. - Текст : непосредственный.Васяева Н.С. Организация аппаратно-программных средств системы дедуктивного логического вывода : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.13 / Н. С. Васяева, 1998. - 25 с. - Текст : непосредственный.Жуковская М.В. Разработка и исследование методов параллельного логического вывода в гиперкубовых процессорных структурах : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.17 / М. В. Жуковская, 1998. - 16 с. - Текст : непосредственный.Мельцов В.Ю. Потоковая система дедуктивного логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов, 1996. - 14 с. - Текст : непосредственный.Тишков А.В. Алгоритмы выводимости в рациональнозначных логиках для представления знаний : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / А. В. Тишков, 1999. - 14 с. - Текст : непосредственный.Жерлов А.К. Логическое исчисление позитивно-образованных формул, его свойства и применение : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.09 / А. К. Жерлов, 1999. - 22 с. - Текст : непосредственный.Борисов В.Л. Универсальный нейросетевой ускоритель для решения задач искусственного интеллекта : Автореферат диссертации на соискание ученой степени канд.техн.наук: 05.27.01 / В. Л. Борисов, 1999. - 20 с. - Текст : непосредственный.Малышко В.В. Система планирования решений задач на основе дедуктивных и ассоциативных методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / В. В. Малышко, 2000. - 20 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Нгуен Тан Ан.Исследование и разработка методов построения нечетких стратегий решения проблем на основе триангулярных норм : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.11 / Нгуен Тан Ан, 2002. - 20 с. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽