АР98-3061

    Чагров, А. В.
    Моделирование вычислительных процессов средствами пропозициональных логик [Текст] : автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17:01.01.06 / А. В. Чагров. - М., 1998. - 30 с.
Библиогр.:с. 22-30(63назв.)

ГРНТИ
УДК


Экземпляры всего 1: ХР (1)
Свободны: ХР (1)