几何定理机器证明的几何不变量方法

几何定理机器证明的几何不变量方法

  • 作    者:张景中,高小山,周咸青
  • 出版社:科学出版社
  • ISBN: 9787030440662
  • 定    价: ¥128.10
  • 所属分类: