William McCune [SEP] date of birth
William McCune
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. 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. In 2013, "Automated Reasoning and Mathematics - Essays in
William Bourchier, 3rd Earl of Bath
William Bourchier, 3rd Earl of Bath (29 Sep 1557 – 12 July 1623) was Lord Lieutenant of Devon. His seat was at Tawstock Court, three miles south of Barnstaple in North Devon, which he rebuilt in the Elizabethan style in 1574, the date being sculpted on the surviving gate house.
Origins.
He was born on 29 September 1557 in Devon, the eldest son of John Bourchier, Lord FitzWarin (died 1557) (who died shortly after his birth