Чагров, Александр Васильевич. Моделирование вычислительных процессов средствами пропозициональных логик
Кількість сторінок:
292
ВНЗ:
Москва
Рік захисту:
1998
Короткий опис:
Чагров, Александр Васильевич. Моделирование вычислительных процессов средствами пропозициональных логик : диссертация ... доктора физико-математических наук : 05.13.17.- Москва, 1998.- 292 с.: ил. РГБ ОД, 71 99-1/44-2