×

Found 2 Documents (Results 1–2)

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).
MSC:  68T15 68T20 68-02
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field