Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Book
Condition: New. New. In shrink wrap. Looks like an interesting title! 1.5.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Basi6 International, Irving, TX, U.S.A.
Book
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: New. pp. 360.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Published by Springer Netherlands, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: moluna, Greven, Germany
Book
Gebunden. Condition: New. On the history of the book: In the early 1990s several new methods and perspectives in au- mated deduction emerged. We just mention the superposition calculus, meta-term inference and schematization, deductive decision procedures, and automated model buildi.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.