Please use this identifier to cite or link to this item:
http://earchive.tpu.ru/handle/11683/6246| Title: | Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: автореферат диссертации на соискание ученой степени кандидата технических наук |
| Authors: | Ларионов, Дмитрий Сергеевич |
| metadata.dc.contributor.advisor: | Погребной, Владимир Кириллович |
| Keywords: | экспертные системы; логика; логистические системы; синтаксис; семантика; исчисление; избыточность; обратный метод; применение; выводимость; авторефераты диссертаций |
| Issue Date: | 2005 |
| Citation: | Ларионов Д. С. Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах : автореферат диссертации на соискание ученой степени кандидата технических наук / Д. С. Ларионов ; Томский политехнический университет ; науч. рук. В. К. Погребной. — Томск, 2005. — 22 с. : ил. |
| URI: | http://earchive.tpu.ru/handle/11683/6246 |
| Appears in Collections: | Авторефераты и диссертации |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| thesis_tpu-2006-5.pdf | 725,27 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.