Publikation

Automated Discovery of Inductive Theorems

Roy McCasland, Alan Bundy, Serge Autexier

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

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