516.00285  / C457m <br/>
Chou, Shang-Ching <br/>
       MECHANICAL GEOMETRY THEOREM PROVING 
 / 
 .- Dordrecht: D. Reidel,  1988 
 .- xii,362 . 
.- ( Mathematics And Its Applications     
<br/><u>Subject Headings:</u> <br/>Automatic Theorem Proving;
<br><U>Copy Details:</u><br> Acc. No.: <b>A100424</b>, Full Call No.: 516.00285 C457m,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>