ML Anthology

The Roles of Knowledge and Deduction in Program Synthesis

David R. Barstow
IJCAI 1979 pp. 37-43
/ijcai/1979/barstow1979ijcai-roles/
Semantic Scholar

Cite

Text

Barstow. "The Roles of Knowledge and Deduction in Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Barstow. "The Roles of Knowledge and Deduction in Program Synthesis." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/barstow1979ijcai-roles/)

BibTeX

@inproceedings{barstow1979ijcai-roles,
  title     = {{The Roles of Knowledge and Deduction in Program Synthesis}},
  author    = {Barstow, David R.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {37-43},
  url       = {https://mlanthology.org/ijcai/1979/barstow1979ijcai-roles/}
}