McCune, W. (William)
McCune, William.
McCune, William 1953-2011
McCune, W.
MacCune, William
William McCune computer scientist
McCune, William Walker, 1953-....
VIAF ID: 716435 ( Personal )
Permalink: http://viaf.org/viaf/716435
Preferred Forms
-
-
-
-
- 100 1 _ ‡a McCune, W. ‡q (William)
-
- 100 1 0 ‡a McCune, W. ‡q (William)
- 100 1 _ ‡a McCune, William
- 100 1 _ ‡a McCune, William Walker, ‡d 1953-....
- 100 1 _ ‡a McCune, William ‡d 1953-2011
-
- 100 0 _ ‡a William McCune ‡c computer scientist
4xx's: Alternate Name Forms (13)
Works
Title | Sources |
---|---|
Automated deduction CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings | |
Automated deduction in equational logic and cubic curves | |
Automated reasoning and mathematics essays in memory of William W. McCune ; [Festschrift] | |
CADE-14 |