Isbn: 9789401072502 - automated mathematical induction (6 Ergebnisse)

ISBN
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (6)

  • Neu (6)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

  • Sprache: Englisch

    Verlag: Springer, 2011

    9401072507 / 9789401072502

    • Softcover

    Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 116,40

    EUR 10,93 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. In English.

  • Sprache: Englisch

    Verlag: Springer, 2011

    9401072507 / 9789401072502

    • Softcover

    Anbieter: Books Puddle, New York, NY, USABooks Puddle

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 160,33

    EUR 3,48 Versand 
    Versand innerhalb von USA

    Anzahl: 4 verfügbar

    Zustand: New. pp. v + 222.

  • Sprache: Englisch

    Verlag: Springer, 2012

    9401072507 / 9789401072502

    • Softcover

    Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 153,57

    EUR 11,66 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 2 verfügbar

    Paperback. Zustand: Brand New. reprint edition. 224 pages. 9.50x6.40x0.60 inches. In Stock.

  • Sprache: Englisch

    Verlag: Springer Netherlands, 2011

    9401072507 / 9789401072502

    • Softcover

    Anbieter: moluna, Greven, Deutschlandmoluna

    Verkäufer/-in mit 5 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 128,20

    EUR 48,99 Versand 
    Versand von Deutschland nach USA

    Anzahl: Mehr als 20 verfügbar

    Zustand: New. It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a .

  • Sprache: Englisch

    Verlag: Springer, 2011

    9401072507 / 9789401072502

    • Softcover
    • Print-on-Demand

    Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 165,07

    EUR 7,58 Versand 
    Versand von Vereinigtes Königreich nach USA

    Anzahl: 4 verfügbar

    Zustand: New. Print on Demand pp. v + 222.

  • Sprache: Englisch

    Verlag: Springer, 2011

    9401072507 / 9789401072502

    • Softcover
    • Print-on-Demand

    Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios

    Verkäufer/-in mit 4 Sternen
    Verkäufer/-in kontaktieren

    Zustand: Neu

    EUR 167,33

    EUR 9,95 Versand 
    Versand von Deutschland nach USA

    Anzahl: 4 verfügbar

    Zustand: New. PRINT ON DEMAND pp. v + 222.