%0 Conference Paper %1 conf/aaai/MannaW87 %A Manna, Zohar %A Waldinger, Richard J. %B AAAI %D 1987 %E Forbus, Kenneth D. %E Shrobe, Howard E. %I Morgan Kaufmann %K dblp %P 155-160 %T The Deductive Synthesis of Imperative LISP Programs. %U http://dblp.uni-trier.de/db/conf/aaai/aaai87.html#MannaW87

@inproceedings{conf/aaai/MannaW87, added-at = {2023-09-04T00:00:00.000+0200}, author = {Manna, Zohar and Waldinger, Richard J.}, biburl = {https://www.bibsonomy.org/bibtex/2383bd9d9cd3d9fcb2a57ce6b1c0f674d/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1987}, editor = {Forbus, Kenneth D. and Shrobe, Howard E.}, ee = {http://www.aaai.org/Library/AAAI/1987/aaai87-028.php}, interhash = {7a1350beccd9dc9a0a5d5977959a48f8}, intrahash = {383bd9d9cd3d9fcb2a57ce6b1c0f674d}, keywords = {dblp}, pages = {155-160}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-10T14:54:18.000+0200}, title = {The Deductive Synthesis of Imperative LISP Programs.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai87.html#MannaW87}, year = 1987 }