LC control no. | n 96064099 |
---|---|
Personal name heading | McCune, W. (William) |
Variant(s) | McCune, William |
Found in | Automated deduction in equational logic and cubic curves, 1996: CIP t.p. (W. McCune) t.p. verso (Mathematics and Computer Science Div., Argonne National Lab., Argonne, Ill.) data sheet (McCune, William) |