1. data.gov.tw
  2. 國立科學工藝博物館館藏圖書書目
  3. 60637135
column value
書名 Machine proofs in geometry
作者 Shang-Ching Chou， Xiao-Shan Gao， Jing-Zhong Zhang
版本
出版社 World Scientific