Zohar Manna. Knowledge and Reasoning in Program Synthesis. In Clemens Hackl, editor, Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974. Volume 23 of Lecture Notes in Computer Science, pages 236-277, Springer, 1974.
@inproceedings{Manna74,
title = {Knowledge and Reasoning in Program Synthesis},
author = {Zohar Manna},
year = {1974},
researchr = {https://researchr.org/publication/Manna74},
cites = {0},
citedby = {0},
pages = {236-277},
booktitle = {Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974},
editor = {Clemens Hackl},
volume = {23},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-07131-8},
}