Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
EUR 31,00
Quantità: 1 disponibili
Aggiungi al carrello2004th ed. 17 x 24 cm. 352 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
Condizione: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title!
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Condizione: New. pp. 360.
EUR 133,31
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
EUR 133,68
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 360.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 166,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
EUR 180,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloGebunden. Condizione: 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.
EUR 270,09
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.