Home Advanced Search

Advanced Search - Page 1

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.)
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
Rewriting Techniques and Applications: 8th International Conference, RTA-97 Sitges, Spain, June 2–5, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: William McCune (auth.), Hubert Comon (eds.)
Air-Jet Ejectors
  • PDF
  • English
  • Author: Wu, Wen
Structure-Property Relationships in Non-Linear Optical Crystals I: The UV-Vis Region
  • PDF
  • English
  • Year: 2012
  • Author: Wen-Dan Cheng, Chen-Sheng Lin (auth.), Xin-Tao Wu, Ling Chen (eds.)
Cyberspace Safety and Security: 9th International Symposium, CSS 2017, Xi’an China, October 23–25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Sheng Wen, Wei Wu, Aniello Castiglione (eds.)
Proceedings 1992 Int. Workshop on Mathematics Mechanization
  • DJVU
  • English
  • Year: 1992
  • Author: Wu Wen-Tsun, Cheng Min-De. (eds.)
Proceedings 1992 Int. Workshop on Mathematics Mechanization
  • PDF
  • English
  • Year: 1992
  • Author: Wu Wen-Tsun, Cheng Min-De. (eds.)
search