1.

図書
図書
1. Mechanical theorem proving in geometries : basic principles (: au ; : us)
Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang
出版情報: Wien ; New York : Springer-Verlag, c1994
シリーズ名: Texts and monographs in symbolic computation
所蔵情報: loading…
2.

図書
図書
2. Rational homotopy type : a constructive study via the theory of the I[*]-measure (: gw ; : us)
Wu Wen-tsün
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in mathematics ; 1264
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations = [1980 nien "shuang wei" Pei-ching tʿao lun hui wen chi] (: set - v. 3)
chief editors, S.S. Chern, Wu Wen-tsün
出版情報: Beijing, China : Science Press , New York : Gordon and Breach, Science Publishers, 1982
所蔵情報: loading…