👤

W. McCune

2 books

Books by W. McCune

Automated DeductionCADE-14
Automated DeductionCADE-14
1997
Automated deduction in equational logic and cubic curves
Automated deduction in equational logic and cubic curves
1996