Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах

Ларионов Дмитрий Сергеевич. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах : Дис. ... канд. техн. наук : 05.13.01 Томск, 2005 148 с. РГБ ОД, 61:06-5/555
Автор
Ларионов Дмитрий Сергеевич
Год
2005

  • 99 000 UZS

Рекомендуем вам товары

Идентификация нелинейных статических объектов на основе квазиправдоподобных оценок при неоднородных наблюдениях
99 000 UZS
Автор
Линеенко Михаил Борисович
Количество страниц
Год
2005
Синтез оптимальных и робастных алгоритмов с параллельной обработкой информации для задач децентрализованного управления динамическими системами
99 000 UZS
Автор
Лыченко Наталья Михайловна
Количество страниц
Год
2005
Разработка и исследование методов и средств прогнозирования, дифференциальной диагностики и управления комбинированной терапией тромбозов центральной вены сетчатки и ее ветвей
99 000 UZS
Автор
Меринов Владимир Николаевич
Количество страниц
Год
2005
Структурный синтез навигационного обеспечения информационных систем управления подвижными объектами
99 000 UZS
Автор
Марюхненко Виктор Сергеевич
Количество страниц
Год
2005
Система принятия управленческих решений при кредитовании металлургических предприятий
99 000 UZS
Автор
Маркарян Анна Оганесовна
Количество страниц
Год
2005
Новостной блок
Модули для Opencart 2, Опенкарт 3