ML Anthology

Results in Knowledge-Based Program Synthesis

C. Cordell Green, Richard P. Gabriel, Elaine Kant, Beverly I. Kedzierski, Brian P. McCune, Jorge V. Phillips, Steve Tappel, Stephen J. Westfold
IJCAI 1979 pp. 342-344
/ijcai/1979/green1979ijcai-results/
Semantic Scholar

Cite

Text

Green et al. "Results in Knowledge-Based Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Green et al. "Results in Knowledge-Based Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/green1979ijcai-results/)

BibTeX

@inproceedings{green1979ijcai-results,
  title     = {{Results in Knowledge-Based Program Synthesis}},
  author    = {Green, C. Cordell and Gabriel, Richard P. and Kant, Elaine and Kedzierski, Beverly I. and McCune, Brian P. and Phillips, Jorge V. and Tappel, Steve and Westfold, Stephen J.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {342-344},
  url       = {https://mlanthology.org/ijcai/1979/green1979ijcai-results/}
}