Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Automated Mathematical Induction

143.14 CHF

Versandkostenfrei

Lieferzeit: 21 Werktage

Artikel-Nr.: 10209082

Beschreibung

Preface. Induction Using Term Orders; F. Bronsard, et al. New Uses of Linear Arithmetic in Automated Theorem Proving by Induction; D. Kapur, M. Subramaniam. Productive Use of Failure in Inductive Proof; A. Ireland, A. Bundy. Middle-Out Reasoning for Synthesis and Induction; I. Kraan, et al. A Calculus for and Termination of Rippling; D.A. Basin, T. Walsh. Interaction with the Boyer-Moore Theorem Prover. A Tutorial Study Using the Arithmetic-Geometric Mean Theorem; M. Kaufmann, P. Pecchiari.

Eigenschaften

Breite:	155
Gewicht:	513 g
Höhe:	235
Länge:	15
Seiten:	222
Sprachen:	Englisch
Autor:	Hantao Zhang

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller