Toward automatic program synthesis
Automatic computer program synthesis based on theorem proving approach for construction of recursive and iterative programs operating on natural numbers, lists and trees
Manna, Z.↗
Engineering topics
Manna, Z.
Publications and source records attributed to Manna, Z..