24 results
“Semantic procedure” is an oxymoron
-
- Journal:
- Behavioral and Brain Sciences / Volume 16 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 04 February 2010, pp. 339-340
-
- Article
- Export citation
What is the difference between real creativity and mere novelty?
-
- Journal:
- Behavioral and Brain Sciences / Volume 17 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 04 February 2010, pp. 533-534
-
- Article
- Export citation
Rippling: Meta-Level Guidance for Mathematical Reasoning
-
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005
4 - A formal account of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 82-117
-
- Chapter
- Export citation
7 - Conclusions
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 175-176
-
- Chapter
- Export citation
Preface
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xi-xiii
-
- Chapter
- Export citation
3 - Productive use of failure
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 54-81
-
- Chapter
- Export citation
6 - From rippling to a general methodology
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 144-174
-
- Chapter
- Export citation
Index
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 200-202
-
- Chapter
- Export citation
5 - The scope and limitations of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 118-143
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp xiv-xiv
-
- Chapter
- Export citation
Appendix 1 - An annotated calculus and a unification algorithm
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 177-189
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp i-vi
-
- Chapter
- Export citation
References
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 193-199
-
- Chapter
- Export citation
2 - Varieties of rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 24-53
-
- Chapter
- Export citation
1 - An introduction to rippling
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 1-23
-
- Chapter
- Export citation
Contents
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp vii-x
-
- Chapter
- Export citation
Appendix 2 - Definitions of functions used in this book
-
- Book:
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Published online:
- 13 August 2009
- Print publication:
- 30 June 2005, pp 190-192
-
- Chapter
- Export citation
Automatic verification of functions with accumulating parameters
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 225-245
-
- Article
-
- You have access
- Export citation
Leaky virtual machines and the best of both worlds
-
- Journal:
- Behavioral and Brain Sciences / Volume 21 / Issue 5 / October 1998
- Published online by Cambridge University Press:
- 01 October 1998, pp. 632-633
-
- Article
- Export citation