Моделирование вычислительных процессов средствами пропозициональных логик

Москва

292 стр.

Моделирование вычислительных процессов средствами пропозициональных логик — Чагров, Александр Васильевич — 1998 — Российская библиотека диссертаций