Приложение
для AndroidПолное описание
Мельцов, В. Ю. Потоковая система дедуктивного логического вывода : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / В. Ю. Мельцов. - СПб : [б. и.], 1996. - 14 с. - Текст : непосредственный.
Библиогр.:с. 14 (6 назв.)
| ГРНТИ | УДК | |
| 28.23.17 | 004.832.3(04) |
Имеются экземпляры в отделах: всего 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 / В. Ю. Мельцов, 1996. - 14 с. - Текст : непосредственный.Городецкий В.И. Байесовский вывод / В.И.Городецкий, 1991. - 38 с. - Текст : непосредственный.Артемьева И.Л. Принципы реализации недоопределенного логического вывода : Препринт / И.Л.Артемьева, 1992. - 34 с. - Текст : непосредственный.
Заказ фрагмента документа ₽