An edition of Automated Theorem Proving (2000)

Automated Theorem Proving

Theory and Practice

by

Cover of: Automated Theorem Proving by Monty Newborn, Monty Newborn
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
October 5, 2021 | History
Edit
An edition of Automated Theorem Proving (2000)

Automated Theorem Proving

Theory and Practice

by

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

Publish Date
Publisher
Springer
Language
English
Pages
231

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Automated Theorem Proving
Automated Theorem Proving: Theory and Practice
May 24, 2013, Springer
paperback
Libraries near you: WorldCat
Cover of: Automated Theorem Proving
Automated Theorem Proving: Theory and Practice
2012, Springer London, Limited
in English
Libraries near you: WorldCat
Cover of: Automated Theorem Proving
Automated Theorem Proving: Theory and Practice
December 15, 2000, Springer
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"This book is about how computers prove theorems."

ID Numbers

Open Library
OL7448708M
ISBN 10
0387950753
ISBN 13
9780387950754
Library Thing
473668
Goodreads
2411992

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 5, 2021 Edited by ImportBot import existing book
May 9, 2020 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page