David R. Barstow. The Roles of Knowledge and Deduction in Program Synthesis. In Bruce G. Buchanan, editor, Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes. pages 37-43, William Kaufmann, 1979.
No references recorded for this publication.
No citations of this publication recorded.