Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 2004
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
Buch
Hardcover/Pappeinband. 352 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 775.
Verlag: Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: BennettBooksLtd, North Las Vegas, NV, USA
Buch
Zustand: New. New. In shrink wrap. Looks like an interesting title! 1.5.
Verlag: Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Hardcover. Zustand: new.
Verlag: Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer Netherlands, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
Zustand: 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.
Verlag: Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: Books Puddle, New York, NY, USA
Buch
Zustand: New. pp. 360.
Verlag: Springer, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Buch
Zustand: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
Verlag: Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Buch Erstausgabe
Zustand: 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. . . . .
Verlag: Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Buch
Zustand: 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. . . . .
Verlag: Springer Netherlands, 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: moluna, Greven, Deutschland
Buch
Gebunden. Zustand: 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.
Verlag: Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Buch
Paperback. Zustand: Like New. Like New. book.
Verlag: Springer, 2010
ISBN 10: 9048166969ISBN 13: 9789048166961
Anbieter: Kennys Bookstore, Olney, MD, USA
Buch
Zustand: 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.
Verlag: Springer-Verlag New York Inc., 2004
ISBN 10: 1402026528ISBN 13: 9781402026522
Anbieter: Kennys Bookstore, Olney, MD, USA
Buch
Zustand: 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.