1 results
Alan Bundy, David Basin, Dieter Hutter and Andrew Ireland. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv + 202 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 498-499
- Print publication:
- September 2006
-
- Article
- Export citation