The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

Sprache: Englisch

Verlag: Vieweg+Teubner Verlag 1999-10-28, 1999

3528155744 / 9783528155742

Serie: Buch 27 von 27 - Computational Intelligence

Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Softcover

Zustand: Neu

EUR 57,68

EUR 18,25 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: 10 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Bestandsnummer des Verkäufers 6666-IUK-9783528155742

Titel
The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)
Autor
David A. Plaisted, Wolfgang Bibel, Yunshan Zhu, Rudolf Kruse
Verlag
Vieweg+Teubner Verlag 1999-10-28
Erscheinungsjahr
1999
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
3528155744
ISBN-13
9783528155742
Auflage
2. Auflage
Serie
Buch 27 von 27: Computational Intelligence

Chiron Media

Wallingford, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. August 2010

Versandkosten von Vereinigtes Königreich nach USA

Artikel14 bis 21 Werktage14 bis 21 Werktage
Erster ArtikelEUR 18,25EUR 18,25
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

WRAP Ltd

Unit 4, 119 Loverock Rd
Reading, Vereinigtes Königreich RG30 1DZ