Computer aided proofs in analysis/

Podobné jednotky

• Computer aided proofs in analysis
  Vydáno: (1990)
• Proofs and computations /
  Autor: Schwichtenberg, Helmut, a další
  Vydáno: (2012)
• Analysis: An introduction to proof
  Autor: Steefan R Lay
  Vydáno: (1986)
• Writing proofs in analysis /
  Autor: Kane, Jonathan Michael
  Vydáno: (2016)
• Mathematical analysis and proof /
  Autor: Stirling, David S. G.
  Vydáno: (1997)