Полное описание
> Nguyen, A. P. A formal system for linear space reasoning : diss. / A.P.Nguyen. - Toronto, 1996. - 62,21 p. p. : ill. - (Technical report / Univ. of Toronto ; 300/96). - Текст : непосредственный. Библиогр.:с.60-62
ГРНТИ УДК 28.23.20 004.83(043)
Рубрики: Искусственный интеллект
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/9156/300/96)>
Шифр в сводном ЭК: 57c5777fd481c5b6dedb8e89da5e7124
Ma K. The recognition of permutation functions / K. Ma, 1995. - 95 p. - Текст : непосредственный. Gao S. Gauss periods,primitive normal bases, and fast exponentiation in finite fields / S. Gao, J.von Zur Gathen, D. Panario, 1995. - 26 p. - Текст : непосредственный. Hayashi H. Numerical solution of retarded and neutral delay differential equations using continuous Runge-Kutta methods / H. Hayashi, 1996. - VIII,78 p. p. - Текст : непосредственный. Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 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. - Текст : непосредственный. Enright W.H. Parallel defect control / W. H. Enright, D. J. Higham, 1990. - 35 p. - Текст : непосредственный. Rupport E. Determining consensus number / E. Rupport, 1996. - 21 p.ill. - Текст : непосредственный. Higham D.J. Monotonic piecewise cubic interpolation, with applications to ODE plotting / D. J. Higham, 1990. - 13,18 p. p. - Текст : непосредственный. Sipser M. Expander graphs. Descriptive set theory / M. Sipser, B. Kapron, T. Pitassi, 1991. - 19 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 / G. Pruesse, 1993. - 82 p. - Текст : непосредственный. Moorhouse T.B. Characterizing hereditary graph classes by subgraph intersections / 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. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Куриленко И.Е. Исследование и разработка методов и программных средств временного (темпорального) вывода в интеллектуальных системах поддержки принятия решений : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / И. Е. Куриленко, 2008. - 20 с. - Текст : непосредственный. Джонс Ж. Решение задач в системе Турбо Паскаль / Ж. Джонс, К. Харроу ; Пер.: Т. О. Уланова, Ю. П. Широкий, 1991. - 718 c. - Текст : непосредственный. Вербицкий О.В. Мультиинтерактивные системы доказательств с постоянным количеством раундов и их применения : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / О. В. Вербицкий, 1994. - 11 с. - Текст : непосредственный. Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Case-based reasoning. Research and development : 18th International conference on case-based reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010: proceedings / ed. I. Bichindaritz, 2010 r=on-line. - Текст : электронный. Матасов А.С. Идентификация состояний многомерных объектов на основе адаптивных моделей нечеткого логического вывода : автореф. дис. .. канд. техн. наук: 05.13.18 / А. С. Матасов, 2004. - 17 с. - Текст : непосредственный. IEEE Transactions on Pattern Analysis and Machine Intelligence. - Журнал r=on-line. - Текст : электронный. Захаров А.С. Методы и алгоритмы моделирования приближенных рассуждений на основе темпоральных нечетких байесовских сетей : автореф. дис. .. канд. техн. наук: 05.13.17 / А. С. Захаров, 2016. - 20 с. - Текст : непосредственный. Шашкин Л.О. Приближенные средства установления сходств для ДСМ-метода автоматического порождения гипотез : автореф. дис. .. канд. техн. наук: 05.13.17 / Л. О. Шашкин, 2010. - 26 с. - Текст : непосредственный. Титенко Е.А. Мультипроцессор для реализации исчислительных систем продукций с безвозвратной стратегией выводов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.05 / Е. А. Титенко, 1997. - 18 с. - Текст : непосредственный. Филиппов С.Ж. Параметрическая идентификация систем поддержки принятия решений на основе параллельных генетических алгоритмов : автореф. дис. .. канд. техн. наук: 05.13.01 / С. Ж. Филиппов, 2003. - 16 с. - Текст : непосредственный. Кассим .К.Д.А. Моделирование систем искусственного интеллекта в среде MATLAB и FUZZYTECH : учеб. пособие для студентов направления подгот. 12.03.04 и 12.04.04 Биотехн. системы и технологии / Л. Д.А. Кассим, С. А. Филист, О. В. Шаталова, 2016. - 185 с. - Текст : непосредственный. Нагоев З.В. Методы принятия решений и управления в неструктурированных задачах на основе самоорганизующихся мультиагентных рекурсивных когнитивных архитектур : автореф. дис. .. д-ра техн. наук: 05.13.01 / З. В. Нагоев, 2013. - 49 с. - Текст : непосредственный. Logic programming and nonmonotonic reasoning : 9th International conference, LPNMR 2007, Tempe, Az, USA, May 15-17, 2007: proceedings / ed. C. Baral, 2007 r=on-line. - Текст : электронный. Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005 Diamante, Italy, September 5-8, 2005: proceedings / ed. C. Baral, 2005 r=on-line. - Текст : электронный. Показать все результаты Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный. Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный. Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный. Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный. Осипов Г.С. Лекции по искусственному интеллекту / Г. С. Осипов, 2013. - 267 с. - Текст : непосредственный. Дворянкин А.М. Искусственный интеллект. Моделирование рассуждений и формальные системы / А. М. Дворянкин, М. Б. Сипливая, И. Г. Жукова, 2003. - 140 с. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Куркин В.И. Системы искусственного интеллекта / В. И. Куркин, 2005. - 69 с. - Текст : непосредственный. Искусственный интеллект : монография / Ред. А. И. Дащенко, 1991. - 540 c. - Текст : непосредственный. Knowledge-driven computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Kacprzyk J. Advances in differential evolution / J. Kacprzyk, U. K. Chakraborty, 2008 r=on-line. - Текст : электронный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Information modelling and knowledge bases / Ed. H. Kangassalo, 1990. - VI,636 p. p. - Текст : непосредственный. Когнитивный вызов и информационные технологии / Г. Г. Малинецкий, С. К. Маненков, Н. А. Митин, В. В. Шишов, 2010. - 28 с. - Текст : непосредственный. Методы и средства построения систем знания : Учеб.пособие / Вольфенгаген В.Э.и др. Ч. 2 : Модели, обслуживающие базы данных и базы знаний / В.Э.Вольфенгаген,И.А.Горюнова,С.В.Косиков, 1992. - 135 с. - Текст : непосредственный. Ennals R. Artificial intelligence and human institutions / R. Ennals, 1991. - XII,181 p. p. - Текст : непосредственный. Connectionism in perspective / Ed. Preifer et al., 1989. - XXI,517 p. p. - Текст : непосредственный. Компьютер обретает разум / Ред. В. Л. Стефанюк, 1990. - 240 c. - Текст : непосредственный. Левин Р. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике / Р. Левин, Д. Дранг, Ю. Эделсон ; , 1990. - 239 c. - Текст : непосредственный. Чикул В.М. Теория искусственного интеллекта / В. М. Чикул, 2000. - 46 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽