Cover Image

Theorem proving with the real numbers /

Show other versions (1)
Bibliographic Details
Main Author: Harrison, J. (John), 1966-
Format: Book
Language:English
Published: London ; New York : Springer, [1998]
Series:CPHC/BCS distinguished dissertations.
Subjects:
Automatic theorem proving.
Search Result 1
Cover Image
by Harrison, J. (John), 1966-
Published 1998
Connect to the full text of this electronic book
eBook
Show all versions (2)