|
Книга ID: 46554
Моделирование вычислительных процессов средствами пропозициональных логик : автореферат дис. ... доктора физико-математических наук : 05.13.17, 01.01.06 Ин-т проблем передачи информации
Тематика, ключевые слова:
Математическая логика, алгебра и теория чисел.
Сведения об издании:
Москва 1998 30 с.
Язык:
rus
|
|