Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science) (Cambridge Tracts In Theoretical Computer Science, 56, Band 56) - Hardcover
Buch 27 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Rippling: Meta-Level Guidance for Mathematical Reasoning...
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Anbieter: WYEMART LIMITED, HEREFORD, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Bestandsnummer des Verkäufers mon0000272696
Neu kaufen
EUR 115,21
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Rippling: Meta-Level Guidance for Mathematical Reasoning
Verlag:
Cambridge University Press, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Gebraucht
Hardcover
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. XIV, 202 Seiten, Cambridge Tracts in Theoretical Computer Science, Band 56. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 468 gebundene Ausgabe gebundene Ausgabe. Bestandsnummer des Verkäufers 492561
Gebraucht kaufen
EUR 82,00
EUR 49,90 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rippling : Meta-Level Guidance For Mathematical Reasoning
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 2180234-n
Neu kaufen
EUR 145,89
EUR 2,30 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9780521834490
Neu kaufen
EUR 148,27
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521834490_new
Neu kaufen
EUR 139,29
EUR 13,80 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling : Meta-Level Guidance For Mathematical Reasoning
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 2180234-n
Neu kaufen
EUR 139,28
EUR 17,28 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling : Meta-Level Guidance For Mathematical Reasoning
Verlag:
Cambridge University Press, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Gebraucht
Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 2180234
Gebraucht kaufen
EUR 157,92
EUR 2,30 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __052183449X
Neu kaufen
EUR 151,18
EUR 14,40 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 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. . . . . Bestandsnummer des Verkäufers V9780521834490
Neu kaufen
EUR 157,23
EUR 10,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning
Print-on-DemandAnbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Bestandsnummer des Verkäufers C9780521834490
Neu kaufen
EUR 157,08
EUR 18,21 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar