answersLogoWhite

0

W. McCune has written:

'Automated deduction in equational logic and cubic curves' -- subject(s): Algebraic Curves, Automatic theorem proving, Curves, Algebraic

User Avatar

Wiki User

10y ago

What else can I help you with?