Automatic Synthesis of Programs and Inductive Inference of Functions
| Authored By: | K. Jantke |
| Paper Title: | Automatic Synthesis of Programs and Inductive Inference of Functions |
| Book/Journal Title: | Fundamentals of Computations Theory, FCT' 79, Proc. of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory |
| Publisher: | Akademie-Verlag |
| Publication Date: | 1979 |
| Pages: | 219-225 |
BibTeX Record:
@InProceedings{j-aspiif-79,
author = "K. Jantke",
title = "Automatic Synthesis of Programs and Inductive Inference of Functions",
booktitle = "Fundamentals of Computations Theory, FCT' 79, Proc. of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory",
year = "1979",
pages = "219--225",
publisher = "Akademie-Verlag",
address = "Berlin",
}
Hide BibTeX Record
@InProceedings{j-aspiif-79,
author = "K. Jantke",
title = "Automatic Synthesis of Programs and Inductive Inference of Functions",
booktitle = "Fundamentals of Computations Theory, FCT' 79, Proc. of the Conference on Algebraic, Arithmetic, and Categorial Methods in Computation Theory",
year = "1979",
pages = "219--225",
publisher = "Akademie-Verlag",
address = "Berlin",
}