Computer aided proofs in analysis

Những quyển sách tương tự

• Computer aided proofs in analysis/
  Bằng: Meyer, Kenneth R
  Được phát hành: (1990)
• Proofs and computations /
  Bằng: Schwichtenberg, Helmut, et al.
  Được phát hành: (2012)
• Handbook of logic and proof techniques for computer science
  Bằng: karntz, Steven G
  Được phát hành: (2002)
• Computer aided management /
  Bằng: Sanjeev Gupta .
  Được phát hành: (2007)
• Discrete mathematics : proofs, structures and applications
  Bằng: Garnier, Rowan
  Được phát hành: (2010)