Вы здесь

Вычисление значений логических формул на конечных моделях в системах представления знаний

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

Дичев Х. В..

Вычисление значений логических формул на конечных моделях в системах представления знаний: Автореферат диссертации на ученую степень: канд. физ.-мат. наук.: 01.01.10.-Киев, 1980.-21 с.
Библиогр.: c.21