![](/img/cover-not-exists.png)
Problem specification and program synthesis in the system Spora
I.O. BabaevVolume:
9
Year:
1990
Language:
english
Pages:
17
DOI:
10.1016/0743-1066(90)90037-6
File:
PDF, 1.18 MB
english, 1990