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)