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

מידע ביבליוגרפי
מחבר ראשי:	Ларионов Д. С. Дмитрий Сергеевич
מחבר תאגידי:	Томский политехнический университет
מחברים אחרים:	Погребной В. К. (727)
שפה:	רוסית
יצא לאור:	Томск, [Б. и.], 2005
נושאים:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость диссертации
פורמט:	ספר
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=88434

תיאור
תיאור פיזי:	148 л. ил.

פריטים דומים