Home Advanced Search

Advanced Search - Page 1

Mechanical Theorem Proving in Geometries: Basic Principles
  • PDF
  • English
  • Year: 1994
  • Author: Dr. Wen-tsün Wu (auth.)
Rational Homotopy Type: A Constructive Study via the Theory of the I*-measure
  • PDF
  • English
  • Year: 1987
  • Author: Wen-tsün Wu
Rational Homotopy Type
  • DJVU
  • English
  • Year: 1987
  • Author: Wen-tsün Wu
Automated Deduction—CADE-14: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings
  • PDF
  • English
  • Year: 1997
  • Author: Wu Wen-Tsün (auth.), William McCune (eds.)
Air-Jet Ejectors
  • PDF
  • English
  • Author: Wu, Wen
Signal Transduction in Cancer Metastasis
  • PDF
  • English
  • Year: 2010
  • Author: Wen-Sheng Wu, Jia-Ru Wu (auth.), Wen-Sheng Wu, Chi-Tan Hu (eds.)
Mathematics Mechanization
  • DJVU
  • english
  • Year: 2000
  • Author: Wu Wen-tsun
Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure
  • DJVU
  • English
  • Year: 1987
  • Author: Wu Wen-Tsun
Selected Works Of Wen-Tsun Wu
  • PDF
  • English
  • Year: 2008
  • Author: Wen-Tsun Wu
The Maximum Entropy Method
  • PDF
  • English
  • Year: 1997
  • Author: Dr. Nailong Wu (auth.)
search