Полное описание
> Hayashi, S. PX: a computational logic / S.Hayashi,H.Nakano. - Cambridge, Ma ; London : MIT press, 1988. - XIV, 200 p. 200 p. - (Foundations of computing series). - ISBN 0-262-08174-1. - Текст : непосредственный. Библиогр.:c.191-196. Указ.:с.197-200
ГРНТИ УДК 28.23.17 004.832
Рубрики: Искусственный интеллект
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Доп. точки доступа: Nakano, H.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): J2/22547)>
Шифр в сводном ЭК: ae37bb50177bb4afdd9689b24e6dbfbd
Liu Y. Numerical studies of swirling turbulent flows in conventional and DS burners / Y. Liu, S. Hayashi, 1997. - 33 p. - Текст : непосредственный. Research report NIFS series / Nat. inst. for fusion science. 816 : A recipe to make zeolite ion source for plasma diagnostics beam / A.Fujisawa, A.Shimizu, S.Ohshima, H.Nakano, 2005. - 7 p. - Текст : непосредственный. Research report NIFS series / Nat. inst. for fusion science. 824 : Properties of turbulence and stationary zonal flow on transport barrier in CHS / A.Fujisawa, A.Shimizu, H.Nakano [et al.], 2005. - 8 p. - Текст : непосредственный. Research report NIFS series / Nat. inst. for fusion science. 825 : Turbulence and transport characteristics of a barrier in a toroidal plasma / A.Fujisawa, A.Shimizu, H.Nakano [et al.], 2005. - 9 p. - Текст : непосредственный. Research report NIFS series / Nat. inst. for fusion science. 826 : Development of zeolite ion source for beam probe measurements of high temperature plasma / S.Ohshima, A.Fujisawa, A.Shimizu, H.Nakano, 2005. - 10 p. - Текст : непосредственный. Research report NIFS series / Nat.inst.for fusion science. 796 : Consideration of magnetic field fluctuation measurements in a torus plasma with heavy ion beam probe / A.Shimizu, A.Fujisawa, S.Ohshima, H.Nakano, 2004. - 16 p. - Текст : непосредственный. Hayashi S. PX: a computational logic / S.Hayashi,H.Nakano, 1988. - XIV, 200 p. 200 p. - Текст : непосредственный. Синтез галактоолигосахаридов с использованием бактериальных ферментов / ВЦП. - 25 с. - Текст : непосредственный. Xie L. Effects of jet strength on NOx formation in premixed impinging jet combustion with minimum heat losses / L.Xie,S.Hayashi, 1994. - 8 p. - Текст : непосредственный. Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный. Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert, 1989. - 238 p. - Текст : непосредственный. ACM Transactions on Computational Logic / Association for computing machinery (New York, NY), Association for computing machinery (New York, NY). - Журнал выходит с 2000г. r=on-line. - Текст : непосредственный. Аверин А.И. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Золотин А.А. Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях / А. А. Золотин, 2018. - 16 с. - Текст : непосредственный. Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010: proceedings / ed. J. Giesl, 2010 r=on-line. - Текст : электронный. Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный. Болотова С.Ю. Разработка и исследование метода релевантного обратного вывода : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / С. Ю. Болотова, 2014. - 16 с. - Текст : непосредственный. Logics in artificial intelligence : 10th european conference, JELIA 2006 Liverpool, UK, September 13-15, 2006: proceedings / ed. M. Fisher [et al.], 2006 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 с. - Текст : непосредственный. Показать все результаты Deduction systems in artificial intelligence / Ed.: K. H. Blasius, H. J. Burckert, 1989. - 238 p. - Текст : непосредственный. Джонс Ж. Решение задач в системе Турбо Паскаль / Ж. Джонс, К. Харроу ; Пер.: Т. О. Уланова, Ю. П. Широкий, 1991. - 718 c. - Текст : непосредственный. Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный. Васяева Н.С. Организация аппаратно-программных средств системы дедуктивного логического вывода : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / Н. С. Васяева, 1998. - 25 с. - Текст : непосредственный. Жуковская М.В. Разработка и исследование методов параллельного логического вывода в гиперкубовых процессорных структурах : специальность 05.13.17 "Теоретические основы информатики" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. В. Жуковская, 1998. - 16 с. - Текст : непосредственный. Аверин А.И. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный. Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Золотин А.А. Матрично-векторные уравнения локального апостериорного вывода в алгебраических байесовских сетях / А. А. Золотин, 2018. - 16 с. - Текст : непосредственный. Тулупьев А.Л. Алгебраические байесовские сети: локальный логико-вероятностный вывод : учебное пособие / А. Л. Тулупьев, 2019. - 136 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽