×
  • 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