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 |