S

Shang-Ching Chou

4 books found

Books by Shang-Ching Chou
Mechanical Geometry Theorem ProvingShang-Ching Chou
⏱ 6h 18m

Mechanical Geometry Theorem Proving

Shang-Ching Chou

1899378 pp.
Machine proofs in geometryChou, Shang-Ching
⏱ 7h 41m

Machine proofs in geometry

Chou, Shang-Ching

1994461 pp.
Mechanical geometry theorem provingChou, Shang-Ching
⏱ 6h 2m

Mechanical geometry theorem proving

Chou, Shang-Ching

1988362 pp.
Machine Proofs in GeometryShang-Ching Chou

Machine Proofs in Geometry

Shang-Ching Chou

1994No page data