登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Granularity analysis for tutoring mathematical proofs
出版社：Heidelberg : AKA Verlag ; Amsterdam : Ios Press, c2011.
ISBN：9781607507192
出版年：2011
作者：Schiller,Marvin R. G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Introduction to mathematical proofs
...

Introduction to mathematical structures and proofs
  • 作者：Gerstein,Larry J.
  • ISBN：0387979972
  • 出版社：New York : Springer ; Sudbury, MA : Jones and Bartlett Publishers, c1996.
  • 出版年：1996
...

Computer aided proofs in analysis
  • 作者：Meyer,Kenneth R.
  • 出版社：New York : Springer, c1991.
  • 出版年：1991
...

Computer aided proofs in analysis
  • 作者：Meyer,Kenneth R.
  • ISBN：0387974261
  • 出版社：New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Proofs and refutations : the logic of mathematical discovery
  • 作者：Lakatos,Imre.
  • ISBN：052121078X
  • 出版社：Cambridge ; New York : Cambridge University Press, 1976.
  • 出版年：1976
...

Introduction to mathematical proofs : a transition
  • 作者：Roberts,Charles E.,
  • ISBN：9781420069556
  • 出版社：Boca Raton : CRC Press, 2009.
  • 出版年：2009