Furukawa. "Preliminary Study on Program Sunthesis Based on Induction and Verification." International Conference on Algorithmic Learning Theory, 1991.
Markdown
[Furukawa. "Preliminary Study on Program Sunthesis Based on Induction and Verification." International Conference on Algorithmic Learning Theory, 1991.](https://mlanthology.org/alt/1991/furukawa1991alt-preliminary/)
BibTeX
@inproceedings{furukawa1991alt-preliminary,
title = {{Preliminary Study on Program Sunthesis Based on Induction and Verification}},
author = {Furukawa, Koichi},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {1991},
pages = {299-306},
url = {https://mlanthology.org/alt/1991/furukawa1991alt-preliminary/}
}