Home Advanced Search

Advanced Search - Page 1

Machine proofs in geometry : automated production of readable proofs for geometry theorems
  • PDF
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
  • DJVU
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
  • DJVU
  • English
  • Year: 1994
  • Author: Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang
Constructing a New Framework for Rural Development
  • PDF
  • English
  • Year: 2015
  • Author: Pierluigi Milone, Flaminia Ventura, Jingzhong Ye (eds.)
China's Peasant Agriculture and Rural Society: Changing Paradigms of Farming
  • EPUB
  • English
  • Year: 2018
  • Author: Jan Douwe van der Ploeg; Jingzhong Ye
Protein interaction networks
  • PDF
  • English
  • Year: 2009
  • Author: Zhang A.
Flow Measurement by Electromagnetic Induction: Theory and numerical methods
  • PDF
  • English
  • Year: 2020
  • Author: Xiao-Zhang Zhang
Time Series Analysis Methods and Applications for Flight Data
  • EPUB
  • English
  • Year: 2017;2018
  • Author: Zhang, Jianye;Zhang, Peng
Adaptive Differential Evolution: A Robust Approach to Multimodal Problem Optimization
  • PDF
  • English
  • Year: 2009
  • Author: Zhang, Jingqiao;Zhang, Jingqiao
Adaptive Differential Evolution: A Robust Approach to Multimodal Problem Optimization
  • PDF
  • English
  • Year: 2009
  • Author: Zhang, Jingqiao;Zhang, Jingqiao
search