David A. Plaisted – författare

Visar alla böcker från författaren David A. Plaisted. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   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

2. 

   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 …

3. 

   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 …