Cambridge University Press: Rippling: Meta-Level Guidance for Mathematical Reasoning (eBook / PDF)

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
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...
sofort als Download lieferbar
versandkostenfrei

Bestellnummer: 52618956

eBook92.99
Download bestellen
sofort als Download lieferbar
versandkostenfrei

Bestellnummer: 52618956

eBook92.99
Download bestellen
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...

Kommentar zu "Cambridge University Press: Rippling: Meta-Level Guidance for Mathematical Reasoning"

Andere Kunden kauften auch

0 Gebrauchte Artikel zu „Cambridge University Press: Rippling: Meta-Level Guidance for Mathematical Reasoning“

ZustandPreisPortoZahlungVerkäuferRating