Filter
Søkt på: Søkeresultat
Filter
1 treff
Rippling: Meta-Level Guidance for Mathematical Reasoning
innbundet,
2005,
Engelsk,
ISBN 9780521834490
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar …