Produktart
Zustand
Einband
Weitere Eigenschaften
Gratisversand
Land des Verkäufers
Verkäuferbewertung
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Buch
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Basi6 International, Irving, TX, USA
Buch
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Buch
Zustand: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: SMASS Sellers, IRVING, TX, USA
Buch
Zustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: booksXpress, Bayonne, NJ, USA
Buch
Soft Cover. Zustand: new.
Verlag: Berlin, Heidelberg: Springer-Verlag, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Buch
Broschiert. Lecture Notes in Artificial Intelligence, Band 5195. Zust: Gutes Exemplar. Cover und einige Seiten mit Knicken. Mit Vorbesitzereintrag. XII, 556 Seiten, Englisch 842g.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Buch
Zustand: New.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Books Puddle, New York, NY, USA
Buch
Zustand: New. pp. 574.
Verlag: Springer Berlin Heidelberg Jul 2008, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Buch Print-on-Demand
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008.The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata. 572 pp. Englisch.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Buch
Zustand: New. pp. 574 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Verlag: Springer-Verlag New York Inc, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Buch
Paperback. Zustand: Brand New. 1st edition. 556 pages. 9.00x6.00x1.25 inches. In Stock.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008.The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully reviewed and selected from 80 full paper and 17 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on specific theories, automated verification, protocol verification, system descriptions, modal logics, description logics, equational theories, theorem proving, CASC, the 4th IJCAR ATP system competition, logical frameworks, and tree automata.
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: moluna, Greven, Deutschland
Buch Print-on-Demand
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together.
Verlag: Springer, 2008
ISBN 10: 3540710698ISBN 13: 9783540710691
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Buch Print-on-Demand
Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.