Publication

Automated Discovery of Inductive Theorems

Roy McCasland, Alan Bundy, Serge Autexier

In: Roman Matuszewski, Anna Zalewska (editor). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150 Studies in Logic, Grammar and Rhetoric 10 (23) University of Bialystok 7/2007.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz