Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах [Электронный ресурс] : автореферат диссертации на соискание ученой степени кандидата технических наук / Д. С. Ларионов ; Томский политехнический университет ; науч. рук. В. К. Погребной

Main Author: Ларионов, Д. С., Дмитрий СергеевичSecondary Author: Погребной, В. К., специалист в области информатики и вычислительной техники, профессор Томского политехнического университета, доктор технических наук, 1942-, Владимир КирилловичCorporate Author (Secondary): Томский политехнический университетLanguage: русский.Country: Россия.Publication: Томск : [Б. и.], 2005Description: 1 файл (721 Kb)Classification: 05.13.01Subject: экспертные системы | логика | логистические системы | синтаксис | семантика | исчисление | избыточность | обратный метод | применение | выводимость | авторефераты диссертаций | труды учёных ТПУ | электронный ресурс Online Resources:Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Заглавие с титульного экрана

Электронная версия печатной публикации

Adobe Reader

There are no comments on this title.

to post a comment.