×
  • Machine proofs in geometry : automated production of readable proofs for geometry theorems

    Shang-Ching Chou

Click on cover to enlarge.
Buy This Book
From Amazon.
10 - 12Hours to read