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

Chi tiết về thư mục
Tác giả chính:	Ларионов Д. С. Дмитрий Сергеевич
Tác giả của công ty:	Томский политехнический университет
Tác giả khác:	Погребной В. К. (научный руководитель)
Ngôn ngữ:	Tiếng Nga
Được phát hành:	Томск, [Б. и.], 2005
Những chủ đề:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость диссертации
Định dạng:	Sách
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88434

Miêu tả
Mô tả vật lý:	148 л. ил.

Những quyển sách tương tự