Полное описание
Томчук, М. Н.
ГРНТИ УДК 28.23.17 004.832.3(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар08-16)
Шифр в сводном ЭК: 60471c6b39c0b36d5f7620ea13d9f820
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. - Текст : электронный. Показать все результаты Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный. Аверин А.И. Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. И. Аверин, 2004. - 20 с. - Текст : непосредственный. Хотимчук К.Ю. Разработка и реализация методов и алгоритмов абдуктивного вывода с использованием систем поддержки истинности на основе предположений / К. Ю. Хотимчук, 2011. - 20 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Дедкова Т.Г. Разработка методов и алгоритмов интеграции неоднородных продукционных систем управления выводом знании : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Т. Г. Дедкова, 1994. - 24 с. - Текст : непосредственный. Болотова С.Ю. Разработка и исследование метода релевантного обратного вывода : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / С. Ю. Болотова, 2014. - 16 с. - Текст : непосредственный. Артемьева И.Л. Разработка и исследование системы недоопределенного вывода для декларативных продукций : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. Л. Артемьева, 1992. - 18 с. - Текст : непосредственный. Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный. Бурлаченко Т.Б. Логические алгоритмы формирования объяснений в причинно-следственных отношениях объектов предметной области : автореф. дис. .. канд. техн. наук: 05.13.11 / Т. Б. Бурлаченко, 2008. - 18 с. - Текст : непосредственный. Зиновьев И.П. Нечеткая регрессионная модель и программный комплекс системы нечеткого логического вывода : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / И. П. Зиновьев, 2010. - 18 с. - Текст : непосредственный. Королева Ю.А. Методы и средства построения интеллектуальных систем в троичной логике : автореф. дис. .. канд. техн. наук: 05.13.11 / Ю. А. Королева, 2015. - 16 с. - Текст : непосредственный. Зо Мьо Хтет.Исследование и разработка параллельных методов вывода на аналитических таблицах : автореф. дис. .. канд. техн. наук: 05.13.11 / Зо Мьо Хтет, 2012. - 20 с. - Текст : непосредственный. Калинина Т.В. Абстракционные методы повышения эффективности логического вывода : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :05.13.01 / Т. В. Калинина, 2001. - 14 с. - Текст : непосредственный. Томчук М.Н. Разработка метода и системы логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук: 05.13.01 / М. Н. Томчук, 2007. - 16 с. - Текст : непосредственный. Чернойван К.Г. Разработка и исследование оптимизаций логического вывода в системах декларативных продукций : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.11 / К. Г. Чернойван, 1997. - 16 с. - Текст : непосредственный. Томчук М.Н. Метод и система логического вывода модифицируемых заключений : автореф. дис. .. канд. техн. наук: 05.13.17, 05.13.11 / М. Н. Томчук, 2009. - 19 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
