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

Main Author: Ларионов, Д. С., Дмитрий СергеевичSecondary Author: Погребной, В. К.Corporate Author (Secondary): Томский политехнический университетLanguage: русский.Country: Россия.Publication: Томск : [Б. и.], 2005Description: 148 л. : ил.Classification: 05.13.01Bibliography: Библиогр.: с. 120-127 (87 назв.).Subject: экспертные системы | логика | логистические системы | синтаксис | семантика | исчисление | избыточность | обратный метод | применение | выводимость | диссертации
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)
Holdings
Cover image Item type Current library Home library Collection Shelving location Call number Materials specified Vol info URL Copy number Status Notes Date due Barcode Item holds Item hold queue priority Course reserves
Books НТБ ТПУ Научный фонд Р-6359 Available 13821000248931
Total holds: 0

Библиогр.: с. 120-127 (87 назв.)

There are no comments on this title.

to post a comment.