Yunshan Zhu – författare
Visar alla böcker från författaren Yunshan Zhu.
1 produkter
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
Visar alla böcker från författaren Yunshan Zhu.
1 produkter
A Comparative and Asymptotic Analysis
Av David A. Plaisted, Yunshan Zhu m. fl.
Häftad, 1999
709 kr
Lägg i varukorg