• The complete works of Wu Wen-tsun:mechanical theorem proving in geometries: basic principles.Ⅱ,Mathematics mechanization

    吴文俊著
  • 出版社/出版年:科学出版社/2019.05
  • ISBN/定价：978-7-5088-5551-6/158.00
  • 载体形态项：
  • 个人责任者：
  • 学科主题：
  • 中图法分类号：O1-53