McCune, W. <br/><br/>
Automated Deduction In Equational Logic And Cubic Curves /  
W. McCune, R. Padmanabhan 
 - Berlin:  Springer,  1996 
 - 231 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic (Symbolic logic)<br/>Automatic theorem proving<br/>Algebraic geometry
<br/><br/><label>Dewey Class. No.: </label>511.3 511.36028563  516.35