Theorem Proving with the Real Numbers

Theorem Proving with the Real Numbers
Harrison, John, Harrison, John
Nearby Libraries

Only you can see this

Save Note
Last edited by ImportBot
October 8, 2021 | History

Theorem Proving with the Real Numbers

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English

Book Details


Classifications

Library of Congress
QA75.5-76.95

The Physical Object

Pagination
186

Edition Identifiers

Open Library
OL34883281M
ISBN 13
9781447115915

Work Identifiers

Work ID
OL25860753W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS |

Wikipedia citation

Copy and paste this code into your Wikipedia page.

{{cite book|author=Harrison, John |date=2012 |title=Theorem Proving with the Real Numbers |publisher=Springer |isbn=978-1-4471-1591-5 |ol=34883281M}}