ISBN 3540762566 books & textbook

Theorem Proving with the Real Numbers (Distinguished Dissertations)

J. Harrison C. J. Van Rijsbergen John Harrison

Springer /1998-01-01 Hardcover / 186 Pages
isbn-10: 3540762566 / isbn-13: 9783540762560