Automatic synthesis of computational programs based on the analysis of the semantics of indicators

Moscow

201 pp.

Automatic synthesis of computational programs based on the analysis of the semantics of indicators — Solomatin, Aleksandr Nikolaevich — 1990 — Russian Dissertation Library