Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)

Sprache: Englisch

Verlag: Cambridge University Press, 2005

052183449X / 9780521834490

Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science

Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 9. Oktober 2009

Hardcover

Zustand: Neu

EUR 204,87

EUR 9,42 Versand 
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 216 pages, 1 b/w illus. 10 colour illus. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 19. Weight in Grams: 475. . 2005. Illustrated. hardcover. . . . . Books ship from the US and Ireland.

Bestandsnummer des Verkäufers V9780521834490

Titel
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Autor
Bundy, Alan
Verlag
Cambridge University Press
Erscheinungsjahr
2005
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
052183449X
ISBN-13
9780521834490
Serie
Buch 27 von 40: Cambridge Tracts in Theoretical Computer Science

Kennys Bookstore

Olney, MD, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei ZVAB seit 9. Oktober 2009

Versandkosten innerhalb von USA

Artikel14 bis 20 Werktage13 bis 14 Werktage
Erster ArtikelEUR 9,42EUR 18,85
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

Shopbeschreibung

We carry a comprehensive range of out of print and rare books.

Spezialisierung

Revolution, War, Peace, Irish Studies

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Kennys Bookshop and Art Galleries (Holdings) Limited

Liosbán Retail Park, Tuam Road
Galway, Irland H91 N5P8