Приложение
для AndroidПолное описание
Nguyen, A. P. A formal system for linear space reasoning : diss. / A.P.Nguyen. - Toronto : [s. n.], 1996. - 62,21 p. p. : ill. - (Technical report / Univ. of Toronto ; 300/96). - Текст : непосредственный.
Библиогр.:с.60-62
| ГРНТИ | УДК | |
| 28.23.20 | 004.83(043) |
Рубрики:
Искусственный интеллект
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Gibbons P.B. The use of hill-climbing to construct orthogonal Steiner trimple systems : отчет / P.B.Gibbons,R.Mathon, 1992. - 20 p. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fich F.E. The complexity of computation on the parallel random access machine / F.E.Fich, 1992. - 38,20 p. p. - Текст : непосредственный.Corneil D.G. Linear time algorithms for dominating pairs in asteroidal triple-free graphs / D.G.Corneil,S.Olariu,L.Stewart, 1995. - 21 p. - Текст : непосредственный.Giesbrecht M.W. Nearly optimal algorithms for canonical matrix forms / M.W.Giesbrecht, 1993. - 192 p. - Текст : непосредственный.Pruesse G. Efficient generation of linear extensions and other restricted permutations : Diss. / G.Pruesse, 1993. - 82 p. - Текст : непосредственный.Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections : Diss. / T.B.Moorhouse, 1994. - 87 p. - Текст : непосредственный.survey of the explicit Runge-Kutta method / W.H.Enright,D.J.Higham,B.Owren,P.Sharp, 1994. - 33 p. - Текст : непосредственный.Enright W.H. Interpolating Runge-Kutta methods for vanishing delay differential equations / W.H.Enright,M.Hu, 1994. - 34 p. - Текст : непосредственный.Urquhart A. Simplified lower bounds for propositional proofs / A.Urquhart,X.Fu, 1995. - 21 p. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Ma K. The recognition of permutation functions : Diss. / K.Ma, 1995. - 95 p. - Текст : непосредственный.Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S.Gao,J.vonZur Gathen,D.Panario, 1995. - 26 p. - Текст : непосредственный.Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods : Diss. / H.Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный.Nguyen H. Interpolation and error control schemes for algebraic differential equations using continuous implicit Runge-Kutta methods : Diss. / H.Nguyen, 1995. - III,97 p. p. - Текст : непосредственный.Molloy M. A bound on the total chromatic number / M.Molloy,B.Reed, 1996. - 36 p. - Текст : непосредственный.Riedel M.R. Applications of the Melin-Perron formula in number theory : Diss. / M.R.Riedel, 1996. - IX,138,21 p. p. - Текст : непосредственный.Rupport E. Determining consensus number / E.Rupport, 1996. - 21 p.ill. - Текст : непосредственный.Kearney P.E. The relationship between a phylogeny and its ordinal assertions / P.E.Kearney, 1997. - VI,107,6 p. p. - Текст : непосредственный.Muir P. Order barriers and characterizations for continuous mono-implicit rungekutta schemes / P.Muir,B.Owren, 1991. - 22 p. - Текст : непосредственный.
Показать все результатыВербицкий О.В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 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. - Текст : непосредственный.
Показать все результатыСистемы, использующие мысли вместо знаний, основанных на формальных правилах / ВЦП (Киев). - 7 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.3. Датчики и искусственный интеллект. Искусственный интеллект в системах машинного зрения / ВЦП. - 19 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Системы управления и моделирования на базе знаний / ВЦП.Минская ред. - 15 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.5. МАР и ТОР / ВЦП.Минская ред. - 41 c. - Текст : непосредственный.Искусственный интеллект. Применения в CIM. Гл.11.Управляющие экспертные системы. Базы данных и базы знаний в УЭС / ВЦП.Минская ред. - 32 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.7. Базы данных CIM.Искусственный интеллект в CIM базах данных / ВЦП.Минская ред. - 53 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.8. Распределенный искусственный интеллект. Системы распределенного искусственного интеллекта / ВЦП.Минская ред. - 47 c. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Foundations of artificial intelligence / сост.ed. D. Kirsh, 1992. - 358 p. - Текст : непосредственный.Niemela I. Autoepistemic logic as a unified basis for nonmonotonic reasoning : Diss. / I.Niemela, 1993. - 162 p. - Текст : непосредственный.Дулин С.К. Структурная согласованность данных и знаний : Учеб.пособие / С.К.Дулин, 1993. - 87 c. - Текст : непосредственный.Drescher G.L. Made-Up Minds : A constructivists approach to artificial intelligence / G.L.Drescher, 1991. - 220 p. - Текст : непосредственный.Innovative applications of artificial intelligence 2 / сост.ed. A. Rappaport, сост.ed. R. Smith, 1991. - 310 мкф.Бакаев А.А. Методы организации и обработки баз знаний / А.А.Бакаев,В.И.Гриценко,Д.Н.Козлов, 1993. - 149 c. - Текст : непосредственный.Дулин С.К. Моделирования сходства элементов базы знаний / С.К.Дулин,И.А.Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G.Frederichs,M.Rader, 1993. - 108 S. - Текст : непосредственный.Asker L. Partial explanations as a basis for learning : Diss. / L.Asker, 1994. - 151 p. - Текст : непосредственный.Kilander F. Incremental conceptual clustering in an on-line application : Diss. / F.Kilander, 1994. - 140 p. - Текст : непосредственный.Брусакова И.А. Проектирование баз знаний и экспертные системы : Учеб.пособие / И. А. Брусакова, Д. Д. Недосекин, С. В. Прокопчина, 1993. - 59 c. - Текст : непосредственный.
Показать все результатыВербицкий О.В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / О. В. Вербицкий, 1994. - 11 с. - Текст : непосредственный.Аншаков О.М. Логико-математические основания ДСМ-метода автоматического порождения гипотез : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 05.13.17 / О. М. Аншаков, 2000. - 48 с. - Текст : непосредственный.Виноградов Д.В. Математические исследования правдоподобных рассуждений типа ДСМ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Д. В. Виноградов, 2000. - 20 с. - Текст : непосредственный.Nguyen A.P. A formal system for linear space reasoning : Diss. / A.P.Nguyen, 1996. - 62,21 p. p. - Текст : непосредственный.Приближенные средства установления сходств для ДСМ-метода автоматического порождения гипотез : автореф. дис. .. канд. техн. наук : 05.13.17 / Л. О. Шашкин, 2010. - 26 с. - Текст : непосредственный.Захаров А.С. Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей : автореф. дис. .. канд. техн. наук : 05.13.17 / А. С. Захаров, 2016. - 20 с.
Заказ фрагмента документа ₽