Bundy : Rippling: Meta-Level Guidance For Mathematical Reasoning (2005)

Artikelzustand: Sehr gut

EUR 30,00

(inkl. MwSt.)
100% positive Bewertungen
Rücknahmen
Keine Rücknahme, aber abgesichert über den eBay-Käuferschutz
Zahlungen
Kreditkarte
Barzahlung bei Abholung
Sonstige: Siehe Zahlungshinweise des Verkäufers
Überweisung
Auf Rechnung
Weitere
Kreditkarte
Barzahlung bei Abholung
Sonstige: Siehe Zahlungshinweise des Verkäufers
Überweisung
Auf Rechnung

Informationen zu diesem Verkäufer

 
 

Info zu diesem Artikel

Artikelzustand
Sehr gut
Anmerkungen des Verkäufers
Bibliotheksexemplar, fest gebunden , sehr guter Zustand -> Siehe Fotos
Stückzahl
1 verfügbar
Format
Gebundene Ausgabe
Fachbereich
Mathematik
Thema
Rippling: Meta-Level Guidance For Mathematical Rea
Erscheinungsjahr
2005

Artikelbeschreibung

"Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens were the induction hypotheses."
Alle ansehen