Chou, Shang-Ching,  1942- <br/><br/>
Mechanical geometry theorem proving / 
Shang-Ching Chou. 
 - Norwell, MA, U.S.A. :  Boston :  Dordrecht ;  D. Reidel Pub. Co. ;  Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers,  c1988. 
 - xii, 362 p. :  ill. ;  25 cm. 
 - Mathematics and its applications .
 - Mathematics and its applications (D. Reidel Publishing Company) .
<br/><br/> Includes indexes. 
<br/><br/>Bibliography: p. 192. 
<br/><br/><label>ISBN: </label>9027726507 
<br/><br/><label>LCCN: </label>87030387 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>LC Class. No.: </label>QA76.9.A96 
<br/><br/><label>Dewey Class. No.: </label>516/.0028/5