Theorems, corollaries, lemmas, and methods of proof

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

• Theorems, corollaries, lemmas, and methods of proof
  Bỡi: Rossi, Richard J.
  Được phát hành: (2006)
• A new proof of clarke's theorem /
  Bỡi: Gue Myung Lee.
• Chart description and a new proof of the classification theorem of genus one Lefschetz fibrations /
• The nuts and bolts of proofs
  Bỡi: Cupillari, Antonella
  Được phát hành: (2005)
• Machine proofs in geometry : automated production of readable proofs for geometry theorems.Vol.VI /
  Bỡi: Chou, Shang-Ching, 1946-
  Được phát hành: (1994)