Mechanical geometry theorem proving
Chou, Shang-Ching
Mechanical geometry theorem proving Shang-Ching Chou - - D Reidel Publishing Co., Dordrecht 1988 - - .
Geometry-- Mathematics
516 CHO-M
Mechanical geometry theorem proving Shang-Ching Chou - - D Reidel Publishing Co., Dordrecht 1988 - - .
Geometry-- Mathematics
516 CHO-M