Rippling: Meta-Level Guidance for Mathematical Reasoning
- Autor
- Bundy/Basin/Hutter/Ireland
- Matèria
-
- Computer Science
-
- Mathematics
-
- Algorithmics
-
- Complexity
-
- Computer Algebra
-
- Computational Geometry
-
- Logic
-
- Categories and Sets
- Editor
- Cambridge University Press
- Data publicació
- 2005
- Identificador
- 9780511543326
- Col·lecció
- Accés https://doi.org/10.1017/CBO9780511543326