Полное описание
>
Тей, А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов. - М. : Мир, 1990. - 429 с. : ил. - Библиогр.: с. 411-417 (115 назв.). - Пер. изд. : Approche logique de l'intelligence artificiell / A.et al Thayse. - Paris, 1988. - 20000 экз. - ISBN 5-03-001636-8. - Текст : непосредственный.Авт. указаны на обороте тит. л.Библиогр.: с. 411-417 (115 назв.)
| ГРНТИ | УДК | |
| 28.23 | 004.8 | |
| 50.05.13 | 004.42.047 |
Рубрики:
Искусственный интеллект
Программирование для ЭВМ логическое
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ПРОГРАММИРОВАНИЕ
Аннотация: Классическая монография специалистов из Бельгии и Швейцарии, излагающая проблемы и методы искусственного интеллекта с позиции математической логики.
Доп. точки доступа:
Грибомон, П.
Луи, Ж.
Гаврилов, Г.П.\ред.\
Thayse, A. et al
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д7-90/85840)>
Шифр в сводном ЭК: 790738e1543f8cf9cb280dcd20343016
Гаврилов Г.П. Задачи и упражнения по дискретной математике / Г. П. Гаврилов, А. А. Сапоженко, 2004. - 416 с. - Текст : непосредственный.Тей А. Логический подход к искусственному интеллекту : монография / А. Тей, П. Грибомон, Ж. Луи, Ж. Луи ; ред. Г. П. Гаврилов, 1990. - 429 с. - Текст : непосредственный.
Яблонский С.В. Предполные классы в многозначных логиках : Учеб. пособие по курсу "Дискретная математика" / С.В.Яблонский,Г.П.Гаврилов,А.А.Набебин;Под ред.В.Н.Вагина, 1997. - 142 с. - Текст : непосредственный.Харари Ф. Теория графов / Ф. Харари; под ред. Г. П. Гаврилова; пер. с англ. В. П. Козырева, 2015. - 297 с. - Текст : непосредственный.Гаврилов Г.П. Вопросы выразимости и мощностей характеризации для дискретных функциональных систем с операцией суперпозиции : Диссертация в виде науч. докл. на соискание ученой степени д-ра физ.-мат. наук: 01.01.09 / Г. П. Гаврилов, 1997. - 52 с. - Текст : непосредственный.Гаврилов Г.П. Задачи и упражнения по дискретной математике : Учеб. пособие / Г. П. Гаврилов, А. А. Сапоженко, 2009. - 416 с. - Текст : электронный.Логический подход к искусственному интеллекту. От модальной логики к логике баз данных / А.Тейз,П.Грибомон,Г.Юлен и др.;Пер.с фр.под ред.Г.П.Гаврилова, 1998. - 494 с. - Текст : непосредственный.Яблонский, С. В. Учебное пособие по курсу Дискретная математика. Анализ и синтез схем в многозначных логиках. Ч. 1 / ред. В. А. Орлов, 1989. - 117 с. - Текст : непосредственный.Гаврилов Г.П. Задачи и упражнения по дискретной математике / Г. П. Гаврилов, А. А. Сапоженко, 2006. - 416 с. - Текст : непосредственный.Гаврилов Г.П. Методы линейной алгебры в теории графов : Учеб. пособие для студентов / Г.П.Гаврилов,Д.С.Романов, 1996. - 71 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Мурынин А.Б. Принципы оптимизации информативных признаков в задаче автоматического распознавания лица человека компьютерной системой / А. Б. Мурынин, В. И. Цурков, 1997. - 34 с.ил. - Текст : непосредственный.Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный.Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный.Яшкин Ю.Н. Конструирование оптических приборов. Оптико-механические сканирующие устройства / Ю. Н. Яшкин, А. А. Цуканов, 1989. - 49 c. - Текст : непосредственный.Чернавский Д.С. Синергетика и информация / Д. С. Чернавский, 1990. - 46 c. - Текст : непосредственный.Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Оптические процессоры для обработки изображений и сигналов : сборник научных трудов / Физико-технический ин-т им. А. Ф. Иоффе (Ленинград), 1989. - 170 с. - Текст : непосредственный.Expert system as a maze / O. A. Khrustalev, P. K. Silaev, O. D. Timofeevskaya, E. N. Tyurin, 1990. - 10 p. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный.Храмцов С.В. Система автоматизированного синтеза тестов для генератора экспертных систем СИНАП / С. В. Храмцов, 1990. - 28 с. - Текст : непосредственный.Digital image processing and analysis / Ed.:R.Chelappa, A.A.Sawchuk. Vol. 1 : Digital image processing, 1985. - X,721 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. N. Morgan, 1990. - VIII,130 p. p. - Текст : непосредственный.Vemuri V.R. Artificial neural networks:concepts and control applications / V. R. Vemuri, 1992. - 509 p. - Текст : непосредственный.Artificial neural networks:concepts and theory / Сост.Compl.: P. Mehra, B. W. Wah, 1992. - XI,667 p. p. - Текст : непосредственный.Nearest neighbor (NN) norms:NN patern classification techniques / Ed. B. V. Dasarathy, 1991. - XII,447 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 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. - Текст : непосредственный.Сергиевский Г.М. Функциональное и логическое программирование : учебное пособие / Г. М. Сергиевский, Н. Г. Волченков, 2010. - 318 с. - Текст : непосредственный.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. - Текст : непосредственный.
Показать все результатыМетакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Венда В.Ф. Системы гибридного интеллекта : Эволюция, психология, информатика / В.Ф.Венда, 1990. - 447 c. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.Expert system as a maze / O. A. Khrustalev, P. K. Silaev, O. D. Timofeevskaya, E. N. Tyurin, 1990. - 10 p. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Храмцов С.В. Система автоматизированного синтеза тестов для генератора экспертных систем СИНАП / С. В. Храмцов, 1990. - 28 с. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Янаева М.В. Разработка и исследование кластерных экспертных систем : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / М. В. Янаева, 2006. - 24 с. - Текст : непосредственный.Толковый словарь по искусственному интеллекту / Ред. А. Н. Аверкин, 1992. - 255 с. - Текст : непосредственный.Bellifemine F. Developing multi-agent systems with JADE / F. Bellifemine, G. Caire, D. Greenwood, 2007 r=on-line. - Текст : электронный.Дулин С.К. Моделирования сходства элементов базы знаний / С. К. Дулин, И. А. Киселев, 1994. - 23 c. - Текст : непосредственный.Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный.Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Semantics in data and knowledge bases / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.Abe S. Support vector machines for pattern classification / S. Abe, 2005 r=on-line. - Текст : электронный.Aarts E. True visions / E. Aarts, J. Encarnacao ; ed. E. Aarts, 2006 r=on-line.Ладенко И.С. Интеллектуальные системы и информатика / И. С. Ладенко, В. Г. Поляков, 1991. - 44 с. - Текст : непосредственный.Вихтенко Э.М. Элементы теории искусственного интеллекта / Э. М. Вихтенко, 2006. - 94 с. - Текст : непосредственный.Брейн М. Великие изобретения : монография / М. Брейн ; Пер. О. С. Лобачева, 2017. - 534 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽
