К теории моделей логических исчислений с временными операторами

Москва

21 стр.

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