catalog
Loading...
check nearby libraries
WorldCat
Rippling
2005
Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)
by
Alan Bundy
No description found.
4 editions at
OpenLibrary
top conversations
more
Loading...