Computer aided proofs in analysis/

類似資料

• Computer aided proofs in analysis
  出版事項: (1990)
• Proofs and computations /
  著者:: Schwichtenberg, Helmut, 等
  出版事項: (2012)
• Analysis: An introduction to proof
  著者:: Steefan R Lay
  出版事項: (1986)
• Writing proofs in analysis /
  著者:: Kane, Jonathan Michael
  出版事項: (2016)
• Mathematical analysis and proof /
  著者:: Stirling, David S. G.
  出版事項: (1997)