Полное описание
Eijck, D. J.N.van
ГРНТИ УДК 28.23.17 004.838
Рубрики: Искусственный интеллект
Доп. точки доступа: Vries, F.-J.de
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/16212/CS-R9312)
Шифр в сводном ЭК: 3edfce1dc2d84e308b514648f6f91e80
Eijck D.J.N.van Ambiguity and reasoning / D. J.N.van Eijck, J. Jaspars, 1996. - 26 p. - Текст : непосредственный. Eijck D.J.N.van Dynamic reasoning without variables / D. J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный. Eijck D.J.N.van Presuppositions and information updating / D.J.N.van Eijck, 1995. - 17 p. - Текст : непосредственный. Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный. Eijck D.J.N.van Procedural dynamic semantics, verb-phrase ellipsis,and presupposition / D.J.N.van Eijck,N.Francez, 1993. - 14 p. - Текст : непосредственный. Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный. Eijck D.J.N.van Quantification and partiality / D.J.N.van Eijck, 1991. - 35 p. - Текст : непосредственный. Bouchez O. A strategy for dynamic interpretation : A fragment and an implementation / O.Bouchez,D.J.N.van Eijck,O.Istace, 1993. - 23 p. - Текст : непосредственный. Eijck D.J.N.van Dynamic interpretation and Hoare deduction / D.J.N.van Eijck,F.J.de Vries, 1991. - 27 p. - Текст : непосредственный. Eijck D.J.N.van Formal semantics / D.J.N.van Eijck, 1990. - 18 p. - Текст : непосредственный. Eijck D.J.N.van Quantifiers / D.J.N.van Eijck, 1990. - 15 p. - Текст : непосредственный. Eijck D.J.N.van Discourse representation theory / D.J.N.van Eijck, 1990. - 10 p. - Текст : непосредственный. Eijck D.J.N.van Representing discourse in context / D.J.N.van Eijck,H.Kamp, 1996. - 61 p. - Текст : непосредственный. Eijck D.J.N.van Typed logics with states / D.J.N.van Eijck, 1997. - 20 p. - Текст : непосредственный. Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный. Eijck D.J.N.van sound and complete calculus for update logic / D.J.N.van Eijck,F.-J. de Vries, 1991. - 20 p. - Текст : непосредственный. Eijck D.J.N.van Programming with dynamic predicate logic / D.J.N.van Eijck, 1998. - 40 p. - Текст : непосредственный. Eijck D.J.N.van Incremental dynamics / D.J.N.van Eijck, 1998. - 26 p. - Текст : непосредственный. Eijck D.J.N.van Axiomatising dynamic logics for anaphora / D.J.N.van Eijck, 1998. - 22 p. - Текст : непосредственный. Infinitary lambda calculus / J.R.Kennaway,J.W.Klop,M.R.Sleep,F.-J.de Vries, 1995. - 15 p. - Текст : непосредственный. Multi-authority secret-ballot elections with linear work / R. J.F. Cramer, M. Franklin, L. A.M. Schoenmakers, M. Yung, 1995. - 12 p. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Hybrid I/O automata / N. A. Lynch, R. Segala, F. W. Vaandrager, H. B. Weinberg, 1995. - 16 p. - Текст : непосредственный. Romijn J.M.T. A note on fairness in I/O automata / J. M.T. Romijn, F. W. Vaandrager, 1995. - 8 p. - Текст : непосредственный. Groote J.F. Proof theory for CRL / J. F. Groote, A. Ponse, 1991. - 41 p. - Текст : непосредственный. Mullender S.J. Amoeba-high-performance distributed computing / S. J. Mullender, G. van Rossum, 1989. - 13 p. - Текст : непосредственный. Herman I. On the projective invariant represintation of conics in computer graphics / I. Herman, 1989. - 18 p. - Текст : непосредственный. Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный. Kuijk A.A.M. Temporal issues of animate response / A. A.M. Kuijk, 1989. - 11 p. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Amoeba - a distributed operating system for the 1990s / S. J. Mullender, G. van Rossum, A. S. Tanenbaum, 1990. - 12 p. - Текст : непосредственный. Jeuring J. Algorithms from theorems / J. Jeuring, 1990. - 20 p. - Текст : непосредственный. Hubl J. Modeling clip: some more results / J. Hubl, I. Herman, 1990. - 9 p. - Текст : непосредственный. Apt K.R. Acyclic programs (extended abstract) / K. R. Apt, M. Bezem, 1990. - 16 p. - Текст : непосредственный. Glabbeek R.J. van linear time - branching time spectrum / R.J. van Glabbeek, 1990. - 30 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Groote J.F. A note on n similar parallel processes / J. F. Groote, 1996. - 11 p. - Текст : непосредственный. Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 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 с. - Текст : непосредственный. Показать все результаты Долженкова М.Л. Объектно-ориентированная машина абдуктивного логического вывода : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд. техн. наук / М. Л. Долженкова, 1998. - 16 с. - Текст : непосредственный. Eijck D.J.N.van Dynamic reasoning without variables / D. J.N.van Eijck, 1998. - 27 p. - Текст : непосредственный. Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный. Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный. Computational Approaches to Analogical Reasoning: Current Trends / ed.: H. Prade, G. Richard, 2014 r=on-line. - Текст : электронный. Анисимов М.М. Разработка формальных моделей рассуждающих сетей для анализа параллельных событийных процессов : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / М. М. Анисимов, 2009. - 30 с. - Текст : непосредственный. Мешкова В.Е. Возможна ли искусственная интуиция? / В. Е. Мешкова, Е. В. Мешкова, В. С. Чураков. - Текст : непосредственный // Международный научно-технический конгресс "Интеллектуальные системы и информационные технологии - 2022". "ИС & ИТ-2022". "IS&IT'22", 1-9 сентября 2022 года, Дивноморское, Россия : труды конгресса : [в 2-х т.] / Министерство науки и высшего образования Российской Федерации, Российская ассоциация искусственного интеллекта, Южный федеральный университет. - Таганрог : Изд-во Ступина С. А., 2022. - Т. 1.- С.21-27 Петров Л.Ф. Алгоритмы искусственного интеллекта в анализе хаотической динамики / Л. Ф. Петров. - Текст : непосредственный // XII Международная научно-практическая конференция имени А. И. Китова "Информационные технологии и математические методы в экономике и управлении" (ИТиММ-2022), 23-24 марта 2023 г. : сборник статей : в двух книгах / Министерство науки и высшего образования и науки Российской Федерации, Российский экономический университет им. Г. В. Плеханова (РЭУ им. Г. В. Плеханова) ; редакционный совет: Н. П. Тихомиров [и др.]. - Москва : РЭУ им. Г. В. Плеханова, 2023. - Кн. 1. - с. 33-39 Бович, Владислав Ярославович. Искусственный интеллект - это всего лишь сложение и умножение? / Владислав Ярославович Бович, Ольга Юрьевна Лягинова. - Текст : непосредственный // Современные информационные технологии. Теория и практика : материалы VI Всероссийской научно-практической конференции (Череповец, 29 ноября 2023 г.) : [в 2 частях] / Череповецкий государственный университет ; редакционная коллегия: Е. В. Ершов, О. Ю. Лягинова. - Череповец : ЧГУ, 2024. - Ч. 1. - с. 83-88 Ефимова, Елена Анатольевна. Применение теории графов для изучения результатов ДСМ-рассуждений / Е. А. Ефимова, Д. С. Луничева. - Текст : непосредственный // Научно-техническая информация. Серия 2, Информационные процессы и системы : ежемесячный научно-технический сборник / Всероссийский институт научной и технической информации (Москва). - Москва : ВИНИТИ РАН, 2023. - N 9. - с. 11-17 Колесников, Алексей Михайлович. Искусственный интеллект - драйвер устойчивого развития экономики / А. М. Колесников, И. А. Куприянова, П. С. Сорока. - Текст : непосредственный // Экономический вектор : журнал / Санкт-Петербургский государственный технологический институт (технический университет). - СПб. : СПбГТИ (ТУ), 2023. - N 4. - с. 109-119 Заказать
Заказ фрагмента документа ₽
Приложение
для Android
