TY  - BOOK
AU  - McCune,William
AU  - Padmanabhan,Ranganathan
TI  - Automated deduction in equational logic and cubic curves
SN  - 3540613986
AV  - QA76.9 A96 M38
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
KW  - Curves, Algebraic
ER  -