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

Bibliografski detalji
Glavni autor:	Ларионов Д. С. Дмитрий Сергеевич
Autor kompanije:	Томский политехнический университет
Daljnji autori:	Погребной В. К. (научный руководитель)
Jezik:	ruski
Izdano:	Томск, [Б. и.], 2005
Teme:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость диссертации
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88434

Opis
Opis fizičkog objekta:	148 л. ил.

Slični predmeti