Вы здесь
Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах
Количество экземпляров:
1
Вид:
Автореферат
Год:
2005
Ключевые слова:
Стр.:
23 с.
Библиография:
Библиогр.: c.23
Место защиты:
Номер специальности:
05.13.01
Карточка:
ББК: В18.
Ларионов Д. С..
Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: Автореферат диссертации на ученую степень: канд. техн. наук.: 05.13.01.-Томск, 2005.-23 с.
Библиогр.: c.23
Таблица в старой библиотеке:
DAR1MP 558