Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by GPO, Washington, 1868
Seller: Legacy Books II, Louisville, KY, U.S.A.
Book
Soft cover. Condition: VG. 45pp extract, illustrated, salvaged from a damaged copy of the Annual Report Of The Board Of Regents Of The Smithsonian Institution, 1867. By the subject's son, translated for the Smithsonian by Alexander. Housed in protective mylar report cover.
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, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Hardcover. 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, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book First Edition
Condition: New. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551. . 2010. 1st ed. Softcover of orig. ed. 2004. Paperback. . . . .
Published by Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713. . 2004. Hardback. . . . .
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.
Published by Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 551. . 2010. 1st ed. Softcover of orig. ed. 2004. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Book
Condition: New. Provides information on automated model building, a discipline of automated deduction that is of growing importance. This book also provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction. It presents finite and infinite model building techniques. Series: Applied Logic Series. Num Pages: 341 pages, biography. BIC Classification: PBCD; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 713. . 2004. Hardback. . . . . Books ship from the US and Ireland.