Полное описание
Frontiers of combining systems : 3rd intern.workshop, Nancy, Mar.22-24, 2000: Proc. / FroCoS 2000. - Berlin [etc.] : Springer, 2000. - X, 291 p. 291 p. : ill. - (Lecture notes in artificial intelligence ; vol.1794). - ISBN 3-540-67281-8. - Текст : непосредственный.
ГРНТИ УДК 27.03.19 510(062) 28.23 004.8(063) 50.05.13 004.42(063) 03.91
Рубрики: Математическая логика -- Съезды и конференции
Искусственный интеллект -- Съезды и конференции
Программирование для ЭВМ -- Съезды и конференции
Кл.слова (ненормированные): ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Доп. точки доступа: Kirchner, H.\ed.\
Ringeissen, C.\ed.\
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16482/1794)
Шифр в сводном ЭК: 25192ecb5cb8d3a4dbc3af94e584b70f
Algebraic and logic programming : материалы временных коллективов / Ed.: H. Kirchner, W. Wechler, 1990. - 386 p. - Текст : непосредственный. Kirchner H. Mechanisches Verhalten des Schutzschicht-Grundwerkstoff-Verbundes von Gasturbinenschaufeln unter zyklischer Beanspruchung : Diss. / H.Kirchner, 1995. - 86 S. - Текст : непосредственный. Brand M.G.J. van den ASF+SDF parsing tools applied to ELAN / M.G.J. van denBrand,C.Ringeissen, 2000. - 19 p. - Текст : непосредственный. Frontiers of combining systems : 3rd intern.workshop, Nancy, Mar.22-24, 2000: Proc. / FroCoS 2000, 2000. - X, 291 p. 291 p. - Текст : непосредственный. Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Мурынин А.Б. Принципы оптимизации информативных признаков в задаче автоматического распознавания лица человека компьютерной системой / А. Б. Мурынин, В. И. Цурков, 1997. - 34 с.ил. - Текст : непосредственный. Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 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. - Текст : непосредственный. Показать все результаты Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный. Advances in artificial intelligence- IBERAMIA 2008 / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2005 r=on-line Advances in case-based reasoning : материалы временных коллективов / Ed.: E. Blanzieri, L. Portinale, 2000. - XII,530 p. p. - Текст : непосредственный. 2009 GEC summit. World summit on genetic and evolutionary computation : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. GECCO 2009. Genetic and evolutionary computation conference : материалы временных коллективов, 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Uncertainty in artifical intelligence / Ed.:J.F.Lemmer, L.N.Kanal. N 3 : Papers from the 3rd uncertainty in artificial intelligence (AI) workshop held July 10-12, 1987 Seattle(Wa), 1989. - XIII,424 p. p. - Текст : непосредственный. Programming and mathematical method : материалы временных коллективов / Ed. M. Broy, 1992. - VIII,407 p. p. - Текст : непосредственный. Communication from an artificial intelligence perspective : материалы временных коллективов / Ed. A. Ortony, 1992. - XI,269 p. p. - Текст : непосредственный. Artificial intelligence and symbolic mathematical computing : сборник научных трудов / Сост.: J. Calmet, J. A. Campbell, 1993. - 305 p. - Текст : непосредственный. Automata,Languages and programming : материал технической информации / Ed. J. Diaz, 1983. - VIII,733 p. p. - Текст : непосредственный. Verteilte Kunstliche Intelligenz und kooperatives Arbeiten : материалы временных коллективов / Gesellschaft fur Informatik (Karlsruhe), 1991. - IX,544 S. S. - Текст : непосредственный. Cognitive models and intelligent environments for learning programming : материалы временных коллективов / Ed. E. Lemut, 1993. - 305 p. - Текст : непосредственный. Труды. 1 : Математические и теоретические аспекты искусственного интеллекта, 1975. - 219 с. - Текст : непосредственный. Modeling decisions for artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Rewriting techniques and applications : материалы временных коллективов / Ed. R. V. Book, 1991. - 458 p. - Текст : непосредственный. Conditional and typed rewriting systems : материалы временных коллективов / Ed.: S. Kaplin, M. Okada, 1991. - X,461 p. p. - Текст : непосредственный. Genetic programming / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Pattern recognition and machine intelligence / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
