Приложение
для AndroidПолное описание
Калинина, Т. В. Абстракционные методы повышения эффективности логического вывода : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина. - СПб. : [б. и.], 2001. - 14 с. - Текст : непосредственный.
В надзаг.: С.-Петерб. гос. ун-т. Библиогр.: с. 14)4 назв.)
| ГРНТИ | УДК | |
| 28.23.17 | 004.832.3(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Тулупьев А.Л. Алгебраические байесовские сети для представления и обработки знаний с неопределенностью : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. Л. Тулупьев, 1996. - 16 с. - Текст : непосредственный.Мельцов В.Ю. Потоковая система дедуктивного логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов, 1996. - 14 с. - Текст : непосредственный.Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Jaspars J. Partial up and down logic / J.Jaspars, 1995. - 22 p. - Текст : непосредственный.Hoek W.van der Honesty in partial logic / W.van der Hoek,J.Jaspars,E.Thijsse, 1995. - 30 p. - Текст : непосредственный.Fuzzy logic in artificial intelligence : 8th austrian artificial intelligence conf.Linz,June 28-30,1993.Proc. / ed. E. P. Klement, ed. W. Slany, 1993. - VIII,191 p. p. - Текст : непосредственный.Wagner G. Vivig logic : Knowledge-based reasoning with two kinds of negation / G.Wagner, 1994. - XII,148 p. p. - Текст : непосредственный.Automated deduction- CADE-12 : 12th intern.conf.on automated deduction Nancy,June 26-July 1,1994.Proc. / CADE-12, 1994. - XVI,845 p. p. - Текст : непосредственный.Herre H. Partial logics with two kinds of negation as a foundation for knowledge-based reasoning / H.Herre,J.O.M.Jaspars,G.Wagner, 1995. - 35 p. - Текст : непосредственный.Стрыгин В.З. Комбинаторная машина для NP-полных задач искусственного интеллекта / В.З.Стрыгин, 1996. - 10 с. - Текст : непосредственный.Automated reasoning with analytic tableaux and related methods : Intern.conf.,TABLEAUX'97,Pont-a-Mousson,France,May 13-16,1997:Proc. / Ed. D. Galmiche, 1997. - XI,373 p. p. - Текст : непосредственный.Automated deduction - CADE-14 : 14th Intern.conf.on automated deduction,Townsville,North Queensland,Australia,July 13-17,1997:Proc. / Ed. W. McCune, 1997. - XIV,462 p. p. - Текст : непосредственный.Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / А.Тейз,П.Грибомон,Г.Юлен и др.;Пер.с фр.под ред.Г.П.Гаврилова, 1998. - 494 с. - Текст : непосредственный.Городецкий В.И. Байесовский вывод / В.И.Городецкий, 1991. - 38 с. - Текст : непосредственный.Артемьева И.Л. Принципы реализации недоопределенного логического вывода : Препринт / И.Л.Артемьева, 1992. - 34 с. - Текст : непосредственный.Williams J.G. Instantiation theory:on the foundations of automated deduction / J.G.Williams, 1991. - VIII,133 p. p. - Текст : непосредственный.Nonmonotonic and inductive logic : 1st intern.workshop on nonmonotonic and inductive logic,Dec.4-7,1990,Karlsruhe:Proc. / Ed. J. Dix, 1991. - X,243 p. p. - Текст : непосредственный.Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.
Показать все результатыВасильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽