Chou S-C Et Al <br/><br/>
Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems 

 -  World Scientific  WSPC  1994 
<br/><br/><label>ISBN: </label>9789812798152 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics