Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel
Häftad, 1999
555 kr
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
AvYunshan Zhu,David A. Plaisted
E-bok
PDF, Tyska, 2013542 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel
Häftad, 1999
555 kr
- 10% rabatt på allt
Del 11
- 10% rabatt på allt
- 10% rabatt på allt
- Signerad!
Del 3
- 10% rabatt på allt
Del 4
- 10% rabatt på allt
Del 3
- 10% rabatt på allt