Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew Rippling. Meta-level guidance for mathematical reasoning. (English) Zbl 1095.68108 Cambridge Tracts in Theoretical Computer Science 56. Cambridge: Cambridge University Press (ISBN 0-521-83449-X/hbk). xiv, 202 p. (2005). Reviewer: Doina Tătar (Cluj) MSC: 68T15 68T20 68-02 PDFBibTeX XMLCite \textit{A. Bundy} et al., Rippling. Meta-level guidance for mathematical reasoning. Cambridge: Cambridge University Press (2005; Zbl 1095.68108) Full Text: DOI
Bundy, Alan The computer modelling of mathematical reasoning. (English) Zbl 0541.68067 London-New York etc.: Academic Press, a Subsidiary of Harcourt Brace Jovanovich, Publishers. XIV, 322 p. hbk: $ 33.50; pbk: $ 15.00 (1983). Reviewer: P.Štěpánek MSC: 68T15 68-01 68-02 PDFBibTeX XML