Home Advanced Search

Advanced Search - Page 1

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
Mechanical Theorem Proving in Geometries: Basic Principles
  • PDF
  • English
  • Year: 1994
  • Author: Dr. Wen-tsün Wu (auth.)
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
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
Selected works of Wen-tsun Wu
  • DJVU
  • English
  • Year: 2008
  • Author: Wen-Tsun Wu
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
  • DJVU
  • English
  • Year: 2000
  • Author: Wu Wen-tsun
search