Вы здесь

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

Количество экземпляров: 
1
Вид: 
Автореферат
Год: 
2005
Ключевые слова: 
Стр.: 
23 с.
Библиография: 
Библиогр.: c.23
Место защиты: 
Номер специальности: 
05.13.01
Карточка: 

ББК: В18.

Ларионов Д. С..

Обратный метод установления выводимости для автоэпистемической логики и его применение в экспертных системах: Автореферат диссертации на ученую степень: канд. техн. наук.: 05.13.01.-Томск, 2005.-23 с.
Библиогр.: c.23

Таблица в старой библиотеке: 
DAR1MP 558