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

Detalles Bibliográficos
Autor Principal:	Ларионов Д. С. Дмитрий Сергеевич
Autor Corporativo:	Томский политехнический университет
Outros autores:	Погребной В. К. (научный руководитель)
Summary:	Защита сост. 21.12.2005 г.
Idioma:	ruso
Publicado:	Томск, [Б. и.], 2005
Subjects:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость авторефераты диссертаций
Formato:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88435

Títulos similares