Computer aided proofs in analysis/

Samankaltaisia teoksia

• Computer aided proofs in analysis
  Julkaistu: (1990)
• Proofs and computations /
  Tekijä: Schwichtenberg, Helmut, et al.
  Julkaistu: (2012)
• Analysis: An introduction to proof
  Tekijä: Steefan R Lay
  Julkaistu: (1986)
• Writing proofs in analysis /
  Tekijä: Kane, Jonathan Michael
  Julkaistu: (2016)
• Mathematical analysis and proof /
  Tekijä: Stirling, David S. G.
  Julkaistu: (1997)