विलियम मैकक्यून
Jump to navigation
Jump to search
William Walker McCune | |
---|---|
जन्म | December 17, 1953 |
मर गया | May 2, 2011 | (aged 57)
राष्ट्रीयता | American |
के लिए जाना जाता है | Otter, Mace4, Prover9, Robbins conjecture |
Scientific career | |
खेत | Computer technology |
संस्थानों | University of New Mexico |
विलियम वॉकर मैकक्यून (17 दिसंबर, 1953 - 2 मई, 2011) एक अमेरिकी कंप्यूटर वैज्ञानिक और तर्कशास्त्री थे जो स्वचालित तर्क, बीजगणित, तर्क और औपचारिक तरीकों के क्षेत्र में काम कर रहे थे। उन्हें ओटर (प्रमेय कहावत), चेकिंग, और गदा4 स्वचालित तर्क प्रणालियों के विकास और इक्वेशनल कहावत प्रमेय कहावत का उपयोग करके रॉबिन्स अनुमान के स्वचालित प्रमाण के लिए जाना जाता था।
2000 में, मैकक्यून को हर्ब्रांड पुरस्कार मिला।[1] 2013 में, उनके सम्मान में, स्वचालित तर्क और गणित - विलियम डब्ल्यू मैक्यून की स्मृति में निबंध प्रकाशित किया गया था।[2]
संदर्भ
- ↑ "स्वचालित रीज़निंग में विशिष्ट योगदान के लिए हेरब्रांड पुरस्कार". CADE Inc. Retrieved 12 November 2018.
- ↑ Bonacina, Maria Paola; Stickel, Mark, eds. (2013). स्वचालित तर्क और गणित - विलियम डब्ल्यू मैकक्यून की स्मृति में निबंध. LNAI. Vol. 7788. Springer. doi:10.1007/978-3-642-36675-8. ISBN 978-3-642-36674-1. S2CID 39308241.
बाहरी संबंध