9783540280057 - automated deduction - cade-20: 20th international conference on automated deduction, tallinn, estonia, july 2005 proceedings: 20th international ... notes in computer science, 3632, band 3632) (6 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (6)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer Berlin / Heidelberg 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: Better World Books, Mishawaka, IN, USABetter World Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Befriedigend

    EUR 41,94

     Versand nach gratis 
    Versand innerhalb von USA

    Anzahl: 1 verfügbar

    Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

  • Sprache: Englisch

    Verlag: Springer 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 60,28

    EUR 13,80 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In.

  • Sprache: Englisch

    Verlag: Berlin, Heidelberg: Springer-Verlag 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Gebraucht - Gut

    EUR 28,00

    EUR 49,90 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Broschiert Broschiert. Zustand: Gut. XIII, 457 Seiten, Lecture Notes in Artificial Intelligence, Band 3632. Zust: Gutes Exemplar. Cover und Buchrücken mit Gebrauchsspuren. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Ja

  • Sprache: Englisch

    Verlag: Springer Verlag 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 82,17

    EUR 14,40 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 2 verfügbar

    Paperback. Zustand: Brand New. 1st edition. 472 pages. 9.25x6.25x1.00 inches. In Stock.

  • Sprache: Englisch

    Verlag: Springer Berlin Heidelberg 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 53,49

    EUR 63,61 Versand 
    Versand von Deutschland nach USA

    Anzahl: 1 verfügbar

    Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 20th International Conference on AutomatedDeduction (CADE-20).ItwasheldJuly22 27,2005inTallinn,Es- nia,togetherwiththeWorkshoponConstraintsinFormalVeri cation(CFV 05), the Workshop on Empirically Successful

  • Weitere Bilder

    Sprache: Englisch

    Verlag: Springer 2005

    3540280057 / 9783540280057

    • Softcover

    Anbieter: preigu, Osnabrück, Deutschlandpreigu

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 50,25

    EUR 70,00 Versand 
    Versand von Deutschland nach USA

    Anzahl: 5 verfügbar

    Taschenbuch. Zustand: Neu. Automated Deduction - CADE-20 | 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings | Robert Nieuwenhuis | Taschenbuch | xiv | Englisch | 2005 | Springer | EAN 9783540280057 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 6