Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://earchive.tpu.ru/handle/11683/6246| Название: | Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук |
| Авторы: | Ларионов, Дмитрий Сергеевич |
| Научный руководитель: | Погребной, Владимир Кириллович |
| Ключевые слова: | экспертные системы; логика; логистические системы; синтаксис; семантика; исчисление; избыточность; обратный метод; применение; выводимость; авторефераты диссертаций |
| Дата публикации: | 2005 |
| Библиографическое описание: | Ларионов Д. С. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах : автореферат диссертации на соискание ученой степени кандидата технических наук / Д. С. Ларионов ; Томский политехнический университет ; науч. рук. В. К. Погребной. — Томск, 2005. — 22 с. : ил. |
| URI: | http://earchive.tpu.ru/handle/11683/6246 |
| Располагается в коллекциях: | Авторефераты и диссертации |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| thesis_tpu-2006-5.pdf | 725,27 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.