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.
Description
Physical Description:xii, 186 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [169]-183) and index.
ISBN:3540762566 (casebound : acid-free paper)