E-bok, Tyska, 2013
The Efficiency of Theorem Proving Strategies
Av Yunshan Zhu, David A. Plaisted
542 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Produktinformation
- Utgivningsdatum: 2013-03-13
- Språk: Tyska
- Filformat: PDF
- Kopieringsskydd: LCP
- ISBN: 9783322938626
- Förlag: Vieweg+Teubner Verlag
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.