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

Main Author: Ларионов, Д. С., Дмитрий СергеевичSecondary Author: Погребной, В. К.Corporate Author (Secondary): Томский политехнический университетLanguage: русский.Country: Россия.Publication: Томск : [Б. и.], 2005Description: 22 с. : ил.Classification: 05.13.01Bibliography: Библиогр.: с. 22-23 (10 назв.).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 НТБ ТПУ Научный фонд 05-4238 Available 13821000249074
Total holds: 0

Защита сост. 21.12.2005 г.

Библиогр.: с. 22-23 (10 назв.)

There are no comments on this title.

to post a comment.