Learning Simple Recursive Theories

Attilio Giordana, Lorenza Saitta, Cristina Baroglio. Learning Simple Recursive Theories. In Henryk Jan Komorowski, Zbigniew W. Ras, editors, Methodologies for Intelligent Systems, 7th International Symposium, ISMIS 93, Trondheim, Norway, June 15-18, 1993, Proceedings. Volume 689 of Lecture Notes in Computer Science, pages 425-434, Springer, 1993.

Abstract

Abstract is missing.