Publikation

Rippling: Meta-level Guidance for Mathematical Reasoning

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

Cambridge University Press 2005.

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