Полное описание
Analogical and inductive inference : AII'89 : intern.workshop AII'89, Reinhardsbrunn Castle, Oct.1-6, 1989: Proc. / Ed. K. P. Jantke ; ed. K. P. Jantke. - Berlin [etc.] : Springer, 1989. - IX, 338 p. 338 p. : ill. - (Lecture notes in artificial intelligence ; n397). - ISBN 3-540-51734-0. - Текст : непосредственный. Перевод заглавия: Логическое программирование 88руды 7-ой конф., Токио, 1988
ГРНТИ УДК 28.23 004.832.3(063)
Рубрики: Искусственный интеллект -- Съезды и конференции
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Доп. точки доступа: Jantke, K.P.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/397)
Шифр в сводном ЭК: 2542aa7a446c27c66e7c7b52829e4780
Мурынин А.Б. Принципы оптимизации информативных признаков в задаче автоматического распознавания лица человека компьютерной системой / А. Б. Мурынин, В. И. Цурков, 1997. - 34 с.ил. - Текст : непосредственный. Яшкин Ю.Н. Конструирование оптических приборов. Оптико-механические сканирующие устройства / Ю. Н. Яшкин, А. А. Цуканов, 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. - 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. - Текст : непосредственный. Воронцов К.В. Локальные базисы в алгебраическом подходе к проблеме распознавания : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / К. В. Воронцов, 1999. - 20 с. - Текст : непосредственный. Скиданов Р.В. Оптические методы формирования поля направлений и поля пространственных частот : специальность 01.04.01 "Приборы и методы экспериментальной физики" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Р. В. Скиданов, 1998. - 15 с. - Текст : непосредственный. Pattern recognition and image analysis / D. Hutchison, J. C. Mitchell, F. Mattern [et al.], 2009 r=on-line. - Текст : электронный. Multiple classifier systems / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Combinatorial pattern matching / D. Hutchison, D. Terzopoulos, M. Sudan [et al.], 2009 r=on-line. - Текст : электронный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Automated deduction - CADE 21 : 21st international conference on automated deduction Bremen, Germany, July 17-20, 2007: proceedings / ed. F. Pfenning, 2007 r=on-line. - Текст : электронный. Analogical and inductive inference : Intern.workshop AII'89, Reinhardsbrunn Castle, Oct.1-6, 1989: Proc. / Ed. K. P. Jantke, 1989. - IX, 338 p. 338 p. - Текст : непосредственный. 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. - Текст : непосредственный. Nonmonotonic and inductive logic : 1st intern.workshop on nonmonotonic and inductive logic,Dec.4-7,1990,Karlsruhe:Proc. / Ed.: J. Dix, M. Zemankova, 1991. - X,243 p. p. - Текст : непосредственный. Automated deduction - CADE - 17 : 17th Intern. conf. on automated deduction, Pittsburgh(Pa),USA, June 17-20, 2000Proc. / CADE-17, 2000. - XIII,512 p. p. - Текст : непосредственный. Automated reasoning with analytic tableaux and related methods : Intern. conf., TABLEAUX 2000, St Andrews, Scotland, UK, July 2000Proc. / TABLEAUX 2000, 2000. - X,440 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. - Текст : непосредственный. Proceedings of the 10.international conference on automated deduction, Keiserslautern, Jul.24-27, 1990 / International conference on automated deduction (10. ; 1990 ; Keiserslautern) , 1990. - XVI,688 p. p. - Текст : непосредственный. Automated deduction - cade-22 : 22nd international conference on automated deduction, Montreal, Canada, August 2-7, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
