Rippling: Meta-Level Guidance for Mathematical Reasoning

Alan Bundy, D. Basin, D. Hutter, A. Ireland

Research output: Book/ReportBook

Fingerprint

Dive into the research topics of 'Rippling: Meta-Level Guidance for Mathematical Reasoning'. Together they form a unique fingerprint.

Computer Science