×
![]( "Buchcover ISBN 9783322938626")
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
von David A. Plaisted und Yunshan ZhuEin besseres Verständnis theorembeweisender Methoden
The Efficiency of Theorem Proving Strategies von David A. Plaisted | A Comparative and Asymptotic Analysis | ISBN 9783322938626
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
von David A. Plaisted und Yunshan ZhuISBN-Daten
Digitalprodukt / E-Book
eBook, PDF
167 SeitenAuflage
1997Verlag
Vieweg & Teubnererschienen am
13.03.2013ISBN-10
3-322-93862-XLieferstatus
verfügbarPreis
36,99 €*Lokal-Verfügbarkeit
ca. 15 km um Moreno Valley
**Mit der Eingabe/Ermittlung der Standortdaten willigen Sie der Datenverarbeitung gemäß unserer Datenschutzerklärung ein.
Lokalverfügbarkeit (Karte)