ML Anthology

Program Synthesis from Natural Deduction Proofs

Shigeki Goto
IJCAI 1979 pp. 339-341
/ijcai/1979/goto1979ijcai-program/
Semantic Scholar

Cite

Text

Goto. "Program Synthesis from Natural Deduction Proofs." International Joint Conference on Artificial Intelligence, 1979.

Markdown

[Goto. "Program Synthesis from Natural Deduction Proofs." International Joint Conference on Artificial Intelligence, 1979.](https://mlanthology.org/ijcai/1979/goto1979ijcai-program/)

BibTeX

@inproceedings{goto1979ijcai-program,
  title     = {{Program Synthesis from Natural Deduction Proofs}},
  author    = {Goto, Shigeki},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1979},
  pages     = {339-341},
  url       = {https://mlanthology.org/ijcai/1979/goto1979ijcai-program/}
}