Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

by: Alan Bundy · David Basin · Dieter Hutter · Andrew Ireland

Printed Access Code

ISBN: 978-0-511-54332-6

ISBN-10: 0-511-54332-8

Cambridge University Press · 2009

See also:
2005HardcoverRippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)