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
Mathematics Mechanization
  • DJVU
  • english
  • Year: 2000
  • Author: Wu Wen-tsun
The Maximum Entropy Method
  • PDF
  • English
  • Year: 1997
  • Author: Dr. Nailong Wu (auth.)
Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
  • PDF
  • English
  • Year: 2018
  • Author: Muhammad Usman,Vallipuram Muthukkumarasamy,Xin-Wen Wu,Surraya Khanum (auth.)
Optimal Social Influence
  • PDF
  • English
  • Year: 2020
  • Author: Xu, Wen, Wu, Weili
Advances in Ultrasound Technology for Environmental Remediation
  • PDF
  • English
  • Year: 2013
  • Author: Ta Yeong Wu, Ningqun Guo, Chee Yang Teh, Jacqueline Xiao Wen Hay (auth.)
search