Yunshan Zhu – författare
Visar alla böcker från författaren Yunshan Zhu. Handla med fri frakt och snabb leverans.
3 produkter
The Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
Av Yunshan Zhu, David A. Plaisted
E-bok, 2013
542 kr
Lägg i varukorg
Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
Av David A. Plaisted, Yunshan Zhu m. fl.
Häftad, 1999
552 kr
Lägg i varukorg
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first edition. We analyze the search efficiency of a number of common refutational theorem proving …
Efficiency of Theorem Proving Strategies
A Comparative and Asymptotic Analysis
Av Yunshan Zhu, David A. Plaisted
E-bok, 2013
739 kr
Lägg i varukorg
This is the second and slightly revised edition of this book. A few errors have been fixed, and some references to related work have been added. I thank the readers for their comments on the first edition. We analyze the search efficiency of a number of common refutational theorem proving …
