Automated deduction in equational logic and cubic curves

Automated deduction in equational logic and cubic curves

Automated deduction in equational logic and cubic curves

by: William McCune, R. Padmanabhan,

Publisher: Springer (1996)

Print length: 236
ISBN: 3540613986,9783540613985,

Language: English