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

Podrobná bibliografie
Hlavní autor:	Ларионов Д. С. Дмитрий Сергеевич
Korporativní autor:	Томский политехнический университет
Další autoři:	Погребной В. К. (научный руководитель)
Shrnutí:	Защита сост. 21.12.2005 г.
Jazyk:	ruština
Vydáno:	Томск, [Б. и.], 2005
Témata:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость авторефераты диссертаций
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88435

Podobné jednotky