William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning,...
2 KB (151 words) - 04:26, 30 May 2024
Lieutenant Kate McGregor RAN. She has won four Gold Logie Awards. McCune has also featured in many theatre roles. Born in Sydney, McCune grew up in Perth...
23 KB (1,718 words) - 13:09, 13 August 2024
McCune–Albright syndrome is a complex genetic disorder affecting the bone, skin and endocrine systems. It is a mosaic disease arising from somatic activating...
22 KB (2,346 words) - 19:54, 23 August 2024
S. McCune (b. 1963), Plainfield, NJ, President, Linear Integrated Systems William McCune (1953–2011), American computer scientist McCunn MacEwen McKeown...
2 KB (248 words) - 20:03, 18 May 2024
Alfred McCune Home is one of the mansions on Capitol Hill in Salt Lake City, Utah, from around the turn of the 20th century. Built for Alfred W. McCune on...
9 KB (1,072 words) - 02:32, 16 August 2023
equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune.: 1 Prover9 is noted for...
5 KB (550 words) - 13:57, 17 March 2024
Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois. Otter was the first widely distributed, high-performance...
5 KB (378 words) - 10:48, 17 March 2024
James McCune Smith (April 18, 1813 – November 17, 1865) was an American physician, apothecary, abolitionist and author. He was the first African American...
46 KB (5,591 words) - 02:43, 2 May 2024
the southeast on Route 61. Variant names were "McCunes" and "McCune Station". A post office called McCunes Station was established in 1879, and remained...
2 KB (161 words) - 05:07, 27 July 2023
Better Maintainability". Aviation Week & Space Technology. Sheridan, William; McCune, Michael; Winter, Michael (2016). "11. Geared Turbofan engine: Driven...
74 KB (7,302 words) - 06:05, 2 September 2024