McCune, William <br/><br/>
Automated deduction in equational logic and cubic curves / 
and R. Padmanabhan 
 - Berlin :  Springer,  1996 
 - 231 p. 
 - Lecture notes in computer science.  Lecture notes in artificial intelligence ;  v. 1095 .
<br/><br/><label>ISBN: </label>3540613986 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Curves, Algebraic
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / M38