516.0015113 / W95m
Wu, Wen-tsun
Mechanical theorem proving in geometries : basic principles / by Wen-tsun Wu .- New York: Springer-Verlag, 1994 .- xiv, 288p. .- ( Texts and Monographs in Symbolic Computation
Translated from Chinese by Xiaofan Jin and Dongming Wang
Author Added Entry:
Jin, Xiaofan, tr.;
Wang, Dongming, tr.;
Copy Details:
Acc. No.: A136898, Full Call No.: 516.0015113 W95m, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Wu, Wen-tsun
Mechanical theorem proving in geometries : basic principles / by Wen-tsun Wu .- New York: Springer-Verlag, 1994 .- xiv, 288p. .- ( Texts and Monographs in Symbolic Computation
Translated from Chinese by Xiaofan Jin and Dongming Wang
Author Added Entry:
Jin, Xiaofan, tr.;
Wang, Dongming, tr.;
Copy Details:
Acc. No.: A136898, Full Call No.: 516.0015113 W95m, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------