Chou, Shang-Ching <br/><br/>
Mechanical geometry theorem proving 
Shang-Ching Chou 
 - 
 - D Reidel Publishing Co., Dordrecht  1988 
 - 
 - .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Geometry-- Mathematics
<br/><br/><label>Dewey Class. No.: </label>516  CHO-M