Shelfclass_id | 4.B.3 |
Sortkey | HARRISON, JOHN |
Authors | John Harrison |
Title | Theorem Proving with the Real Numbers |
Publisher | Springer-Verlag |
Year | c1998 |
Languages | eng |
Isbn | 3540762566 |
Series | Distinguished dissertations |
Description | (casebound: acid-free paper) xii, 186 p. ill. 24 cm. |
Record date | 20061027 |
Location | New York |
Keywords | Automatic theorem proving |