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

Bibliographic Details
Main Author:	Ларионов Д. С. Дмитрий Сергеевич
Corporate Author:	Томский политехнический университет
Other Authors:	Погребной В. К. Владимир Кириллович (727)
Summary:	Заглавие с титульного экрана Электронная версия печатной публикации
Language:	Russian
Published:	Томск, [Б. и.], 2005
Subjects:	экспертные системы логика логистические системы синтаксис семантика исчисление избыточность обратный метод применение выводимость авторефераты диссертаций труды учёных ТПУ электронный ресурс
Online Access:	http://www.lib.tpu.ru/fulltext/a/2006/5.pdf
Format:	Electronic Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=90669

Description
Physical Description:	1 файл (721 Kb)
Summary:	Заглавие с титульного экрана Электронная версия печатной публикации

Similar Items