William McCune

William Walker McCune
Born(1953-12-17)December 17, 1953
DiedMay 2, 2011(2011-05-02) (aged 57)
NationalityAmerican
Known forOtter, Mace4, Prover9, Robbins conjecture
Scientific career
FieldsComputer technology
InstitutionsUniversity of New Mexico

William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods.

Biography

He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover.

In 2000, McCune received the Herbrand Award for Distinguished Contributions to Automated Reasoning.[1] In 2013, Automated Reasoning and Mathematics - Essays in Memory of William W. McCune was published in his honour.[2]

References

  1. ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 12 November 2018.
  2. ^ Bonacina, Maria Paola; Stickel, Mark, eds. (2013). Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. LNAI. Vol. 7788. Springer. doi:10.1007/978-3-642-36675-8. ISBN 978-3-642-36674-1. S2CID 39308241.

Read other articles:

Code of Ur-Nammu

Oldest surviving law code Code of Ur-NammuThe first known version of the code in its current locationCreatedc. 2100 BC–2050 BCLocationIstanbul Archaeology Museums (Ni.3191) (originally Nippur, Mesopotamia (modern-day Iraq))Author(s)Ur-NammuPurposeLegal code The Code of Ur-Nammu is the oldest known law code surviving today. It is from Mesopotamia and is written on tablets, in the Sumerian language c. 2100–2050 BCE. Discovery The first copy of the code, in two fragments found at...

 

Walter Bender

Not to be confused with Walter Bender (Canadian football). Walter BenderWalter Bender, educational software expert and free software advocateBorn (1956-02-22) February 22, 1956 (age 67)EducationRoxbury Latin SchoolAlma materHarvard UniversityMassachusetts Institute of TechnologyOccupation(s)Chief Technical Officer, Sorcero Executive Director, Sugar Labs Walter Bender is a technologist and researcher who works in the field of electronic publishing, media and technology for learning. ...

 

Oevergrondwater

'Molshoop' met waterwinput bij de Soestwetering in Salland Oevergrondwater is oppervlaktewater dat via meren, rivieren en andere waterlopen in de bodem infiltreert. Als de infiltratie door waterwinning in stand wordt gehouden en oppervlaktewater van elders wordt aangevoerd, spreekt men van kunstmatige infiltratie. De infiltratie vult dan het door waterwinning ontstane grondwatertekort aan en zorgt voor een eerste reiniging van het oppervlaktewater. In het landschap zijn dan in de buurt van de...

Filiz Akın

Filiz Akın Filiz Akın en mayo de 2016Información personalNombre de nacimiento Suna AkınNacimiento 2 de enero de 1943 (80 años)Ankara, TurquíaNacionalidad TurcaLengua materna Turco FamiliaCónyuge Türker İnanoğlu (matr. 1964-1974)Leon Bubi Rubinstein (matr. 1982-1993)Sönmez Köksal (matr. 1994)Hijos 1EducaciónEducada en Universidad de AnkaraInformación profesionalOcupación Actriz, escritora, presentadora de televisiónAños activa 1962–presenteDis...

 

العلاقات الأندورية الموريتانية

العلاقات الأندورية الموريتانية أندورا موريتانيا   أندورا   موريتانيا تعديل مصدري - تعديل   العلاقات الأندورية الموريتانية هي العلاقات الثنائية التي تجمع بين أندورا وموريتانيا.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين:

 

Bioelectromagnetics

Study of electromagnetic fields and biological entity interaction For the scientific journal, see Bioelectromagnetics (journal). See also: Bioelectronics and Bioelectromagnetic medicine Not to be confused with Biomagnetics or Biomagnetism. Bioelectromagnetics, also known as bioelectromagnetism, is the study of the interaction between electromagnetic fields and biological entities. Areas of study include electromagnetic fields produced by living cells, tissues or organisms, the effects of man-...

شخصية العام (مجلة التايم)

شخصية العامتشارلز لندبرغ شخصية العام 1927معلومات عامةالبلد  الولايات المتحدةمقدمة من تايمأول جائزة 1927؛ منذ 96 سنوات (1927)موقع الويب time.com… تعديل - تعديل مصدري - تعديل ويكي بيانات شخصية العام (بالإنجليزية: Person of the Year)‏ هي نسخة سنوية من تايم الإخبارية الصادرة في الولاي...

 

نريليموماب

نريليموماب ضد وحيد النسيلة نوع Whole antibody الهدف عامل نخر الورم ألفا اعتبارات علاجية معرّفات CAS 162774-06-3 N ك ع ت None كيم سبايدر NA المكون الفريد 1911H0X9KJ  كيوتو D05146 Y بيانات كيميائية تعديل مصدري - تعديل   نريليموماب هو جسم مضاد وحيد النسيلة فأري مثبط لعامل نخر الورم.[1] ا...

 

Elena Walendzik

Elena Marie Loschan, geb. Walendzik Daten Geburtsname Elena Walendzik Geburtstag 1984 Nationalität Deutsch Gewichtsklasse Bantamgewicht Kampfstatistik als Profiboxer/in Kämpfe 60 Siege 49 Niederlagen 10 Unentschieden 1 Elena Walendzik Medaillenspiegel Boxen Deutschland Deutschland Europameisterschaften Bronze 2008 Liverpool Bantamgewicht Elena Marie Walendzik (* 1984) ist eine deutsche Amateurboxerin; sie ist sechsfache Deutsche Meisterin[1], darunter Deutsche Boxmeisterin 2011...

Minami-Juku Station

Railway station in Hashima, Gifu Prefecture, Japan Minami Juku Station南宿駅Minami Juku Station in February 2010General informationLocationAjika-cho Minamijuku, Hashima-shi, Gifu-ken 501-6203JapanCoordinates35°20′53″N 136°43′44″E / 35.3481°N 136.7288°E / 35.3481; 136.7288Operated by MeitetsuLine(s)■ Meitetsu Takehana LineDistance5.2 km from KasamatsuPlatforms2 side platformsOther informationStatusUnstaffedStation codeTH03WebsiteOfficial website (in Jap...

 

Westmorland

Historic county of England This article is about the English county. For the new unitary authority, see Westmorland and Furness. For other uses, see Westmoreland. WestmorlandHistoric countyFlagAncient extent of WestmorlandArea • 1831485,990 acres (1,966.7 km2)[1] • 1911505,330 acres (2,045.0 km2)[2] • 1961504,917 acres (2,043.33 km2)[2] Population • 191163,575[2] • 196167,180[2] ...

 

Іллінка (Кам'янський район)

У Вікіпедії є статті про інші значення цього терміна: Іллінка. село Іллінка Країна  Україна Область Дніпропетровська область Район Кам'янський район Громада Криничанська селищна громада Код КАТОТТГ UA12040170130081119 Облікова картка Іллінка  Основні дані Населення 125 Пошт...

Laia Codina

Spanish footballer In this Spanish name, the first or paternal surname is Codina and the second or maternal family name is Panedas. Laia Codina Codina with Barcelona B in 2019Personal informationFull name Laia Codina PanedasDate of birth (2000-01-22) 22 January 2000 (age 23)Place of birth Campllong, SpainHeight 1.70 m (5 ft 7 in)Position(s) Centre-backTeam informationCurrent team ArsenalNumber 27Youth career2014–2017 BarcelonaSenior career*Years Team Apps (Gls)20...

 

AMC Eagle

AMC Eagle Общие данные Производитель American Motors: август 1979–1987Chrysler: август–декабрь 1987 Годы производства 1979—1987 Сборка : Кеноша (1980–1983): Брамптон (1984–1988) Класс кроссовер среднего класса Иные обозначения Eagle WagonAmerican Eagle Дизайн и конструкция Тип кузова 2‑дв. купе (5‑мест.)2‑дв.&#...

 

Код-шеринг

В статье не хватает ссылок на источники (см. рекомендации по поиску). Информация должна быть проверяема, иначе она может быть удалена. Вы можете отредактировать статью, добавив ссылки на авторитетные источники в виде сносок. (12 декабря 2012) Код-шеринг рейсы на табло в аэропо...

Nudibranchia

Nudibranchia Flabellina iodinea Klasifikasi ilmiah Kerajaan: Animalia Filum: Mollusca Kelas: Gastropoda Ordo: Opisthobranchia Subordo: Nudibranchia Infraordo Anthobranchia Cladobranchia Lihat teks untuk superfamili. Nudibranchia adalah kelompok siput air terbesar dari ordo Opisthobranchia. Anggotanya lebih dari 3.000 spesies. Deskripsi Nudibranch umumnya menyimpan telur mereka dalam motif spiral. Hewan ini memiliki badan yang lunak. Bentuk dewasanya tidak memiliki cangkang atau operculum. Kat...

 

U.S. Route 62 in Pennsylvania

This article is about the section of U.S. Route 62 in Pennsylvania. For the entire route, see U.S. Route 62. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: U.S. Route 62 in Pennsylvania – news · newspapers · books · scholar · JSTOR (June 2013) (Learn how and when to remove this template message) U.S. Route ...

 

Dunham's Sports

American sporting goods retailing corporation Dunham's SportsFormerlyDunham's Bait & Tackle (1937–1953)TypePrivateIndustryRetailFounded1937 (86 years ago) (1937) in West Bloomfield, MichiganFounderRon DunhamHeadquartersTroy, Michigan, U.S.Number of locations235 (2021[1])Area servedMidwest and Southeast United StatesKey peopleJeffrey G Lynn (CEO)[2]ProductsApparel, sports equipment, footwear, exercise equipment, firearms, ammunitionRevenueUS$422.2 ...

بوينغ بي-50 سوبرفورترس

بوينغ بي-50 سوبرفورترسمعلومات عامةالنوع قاذفة قنابل استراتيجيةبلد الأصل  الولايات المتحدةسعر الوحدة 1,144,296 دولارالتطوير والتصنيعالصانع بوينغسنة الصنع 1947الكمية المصنوعة 370طورت من بوينغ بي-29 سوبر فورترسطرازات أخرى بوينغ سي-97 سترتوفريترسيرة الطائرةدخول الخدمة 1948انتهاء ...

 

Талановитий містер Ріплі (фільм)

Талановитий містер РіпліThe Talented Mr. RipleyЖанртрилерРежисерЕнтоні МінгеллаПродюсерВільям Хорберг,Том Стернберг,Сідні ПоллакСценаристЕнтоні Мінгелла (інтерпретація),Патриція Гайсміт (книга)На основіТалановитий містер РіпліУ головних роляхМетт Деймон, Гвінет Пелтроу, Джу...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!