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