McCune, W. (William)
URI(s)
Variants
- McCune, William
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: 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)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-06-29: new
- 1996-07-01: revised
Alternate Formats