Program Synthesis from Examples by Theory Formation

Jutta Eusterbrock. Program Synthesis from Examples by Theory Formation. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 10th International Symposium, ISMIS 97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Volume 1325 of Lecture Notes in Computer Science, pages 370-380, Springer, 1997.

Abstract

Abstract is missing.