9780521834490 - rippling: meta-level guidance for mathematical reasoning (cambridge tracts in theoretical computer science) (cambridge tracts in theoretical computer science, 56, band 56) von bundy, alan; basin, david; hutter, dieter (6 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: WYEMART LIMITED, HEREFORD, Vereinigtes KönigreichWYEMART LIMITED
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,86
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: New.
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Antiquariat Bernhardt, Kassel, DeutschlandAntiquariat Bernhardt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 82,00
EUR 49,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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 li…egt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 468 gebundene Ausgabe gebundene Ausgabe.
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 148,69
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 195,37
EUR 8,99 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
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.
Sprache: Englisch
Verlag: Cambridge Univ Pr, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 191,64
EUR 14,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 1st edition. 202 pages. 9.00x6.00x0.50 inches. In Stock.
Sprache: Englisch
Verlag: Cambridge University Press, 2005
Serie: Buch 27 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, DeutschlandBUCHSERVICE / ANTIQUARIAT Lars Lutzer
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 239,90
EUR 39,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: gut. 2005. Rippling: Meta-Level Guidance for Mathematical Reasoning In englischer Sprache. pages.
