Verwandte Artikel zu Rippling: Meta-Level Guidance for Mathematical Reasoning...
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. Artikel-Nr. mon0000272696
Neu kaufen
EUR 116,69
EUR 14,00 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. Artikel-Nr. 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 (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. Artikel-Nr. ria9780521834490_new
Neu kaufen
EUR 148,47
EUR 13,98 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: 56 (Cambridge Tracts in Theoretical Computer Science, Series Number 56)
Anbieter: Kennys Bookstore, Olney, MD, USA
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. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521834490
Neu kaufen
EUR 197,45
EUR 9,08 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
Anbieter: 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. Artikel-Nr. x-052183449X
Neu kaufen
EUR 193,60
EUR 14,59 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Rippling: Meta-Level Guidance for Mathematical Reasoning Bundy, Alan, David Basin Dieter Hutter a. o.
Verlag:
Cambridge University Press, 2005
ISBN 10: 052183449X
ISBN 13: 9780521834490
Gebraucht
Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: gut. 2005. Rippling: Meta-Level Guidance for Mathematical Reasoning In englischer Sprache. pages. Artikel-Nr. BN479041
Gebraucht kaufen
EUR 239,90
EUR 39,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar