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

Dades bibliogràfiques
Autor principal:	Ларионов Д. С. Дмитрий Сергеевич
Autor corporatiu:	Томский политехнический университет
Altres autors:	Погребной В. К. (727)
Sumari:	Защита сост. 21.12.2005 г.
Publicat:	Томск, [Б. и.], 2005
Matèries:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость авторефераты диссертаций
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88435

Descripció
Descripció física:	22 с. ил.
Sumari:	Защита сост. 21.12.2005 г.

Ítems similars