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 SizeFormat 
thesis_tpu-2006-5.pdf725,27 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.