Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2004
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Book
Hardcover/Pappeinband. 352 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 775.
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, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer Netherlands, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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: 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, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: Mispah books, Redhill, SURRE, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.