Rippling - meta-level guidance for mathematical reasoning
Rippling - meta-level guidance for mathematical reasoning
复制标题
Rippling - 数学推理的元级指导
DOI：
10.1017/cbo9780511543326
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Andrew Ireland
中科院分区：
文献类型：
--
作者：
A. Bundy;D. Basin;D. Hutter;Andrew Ireland
序言1。爆发的简介2。波纹的品种3。失败的生产效率4。正式的波纹说明5。和统一算法附录2。本书参考书目索引中使用的功能的定义。
Preface 1. An introduction to rippling 2. Varieties of rippling 3. Productive use of failure 4. A formal account of rippling 5. The scope and limitations of rippling 6. From rippling to a general methodology 7. Conclusions Appendix 1. An annotated calculus and a unification algorithm Appendix 2. Definitions of functions used in this book Bibliography Index.