Akademibokhandeln

Yunshan Zhu – författare

Visar alla böcker från författaren Yunshan Zhu.

1 produkter

  1. David A. Plaisted, Yunshan Zhu, Wolfgang Bibel - Efficiency of Theorem Proving Strategies, Häftad. Tillgänglighet: 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

    709 kr

    Lägg i varukorg