Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
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 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽