Stock Photo: Cover May Be Different
Mechanizing Mathematical Reasoning: Essays in Honor of Jèââ¢Ã©Å²rg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
by Hutter, Dieter [Editor]; Stephan, Werner [Editor];
- Used
- Very Good
- Paperback
- Condition
- Very Good
- ISBN 10
- 3540250514
- ISBN 13
- 9783540250517
- Seller
-
Spring Branch, Texas, United States
Payment Methods Accepted
About This Item
Springer, 2005-04-06. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, text block clean and unmarked. Tight binding.
Reviews
(Log in or Create an Account first!)
Details
- Seller
- GuthrieBooks (US)
- Seller's Inventory #
- UTD1520273
- Title
- Mechanizing Mathematical Reasoning: Essays in Honor of J脙露rg H. Siekmann on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
- Author
- Hutter, Dieter [Editor]; Stephan, Werner [Editor];
- Format/Binding
- Paperback
- Book Condition
- Used - Very Good
- Quantity Available
- 1
- ISBN 10
- 3540250514
- ISBN 13
- 9783540250517
- Publisher
- Springer
- Place of Publication
- Berlin And Heidelberg
- Date Published
- 2005-04-06
- Size
- 9x6x1
- X weight
- 30 oz
Terms of Sale
GuthrieBooks
Credit cards accepted through Biblio.com. Returns accepted and promptly refunded if dissatisfied in any way.
About the Seller
GuthrieBooks
Biblio member since 2007
Spring Branch, Texas
About GuthrieBooks
Selling books since 1975.. We specialize in academic monographs and technical works but we have books in every area of interest.
Glossary
Some terminology that may be used in this description includes:
- Tight
- Used to mean that the binding of a book has not been overly loosened by frequent use.
- Text Block
- Most simply the inside pages of a book. More precisely, the block of paper formed by the cut and stacked pages of a book....