David A. Plaisted – författare

Visar alla böcker från författaren David A. Plaisted.

1 produkter

1. 

   Efficiency of Theorem Proving Strategies

   A Comparative and Asymptotic Analysis

   Av David A. Plaisted, Yunshan Zhu m. fl.

   Häftad, 1999

   709 kr

   Lägg i varukorg