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.