Symbol IC-Evaluation as an Aid to Program Synthesis
Akinori Yonezawa · DSpace@MIT (Massachusetts Institute of Technology) · 1976
This report describes research done at the Artificial Intelligence laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advance Research Projects Agency of the Department of Defence under Office of Naval Research contract N00014-75-C0522.