Help


[permalink] [id link]
+
Page "Automated theorem proving" ¶ 14
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

William and McCune
* William McCune
Otter is an automated theorem prover developed by William McCune at Argonne National Laboratory in Illinois.
Notable alumni of ECU include entertainer Rolf Harris ; Musa Aman, the chief minister of the Malaysian state of Sabah ; former soccer player Alistair Edwards ; actors Frances O ' Connor, Hugh Jackman, Lisa McCune, Marcus Graham, William McInnes, Lucy Durack, Rachelle Durkin, Emma Matthews, Eddie Perfect, Tim Minchin and Simon Lyndon ; musician Jamie Oehlers ; and Indigenous rights activist and former AFL player Craig Turley.
" These four, together with Allen Ross Nieman, Edward Henry McCune, Carl Nelson Chapman, Buell Wright McDaniel, George Eugene Hartrick, A. Barney Cott, Chiles Edward Hoffman, Rodney Edward Herndon, William Edward Billings, Clarence Willard Salter, Frank H. Gorman, Alpheus Oliphant Fisher, and Daniel Frank Fisher, were the 17 founders of the Fraternity.
* William McCune ( 1953 – 2011 ), American computer scientist
Her other television roles have included the legal comedy-drama Marshall Law 2002 with Lisa McCune and William McInnes, and Good Guys Bad Guys.
* William W. McCune ( 2000 )
* Experiments in Automated Deduction with Condensed Detachment, William McCune and Larry Wos, Proceedings of the 11th International Conference on Automated Deduction ( 1992 )

William and Argonne
While designing a scanner for reactor fuel elements in 1957, Argonne physicist William Nelson Beck put his own arm inside the scanner and obtained one of the first ultrasound images of the human body.

William and National
I saw a piece the other day assailing William Buckley, author of Man And God at Yale and publisher of The National Review, as no conservative at all, but an old liberal.
On May 18, at the Republican National Convention in Chicago, Lincoln's friends promised and manipulated and won the nomination on the third ballot, beating candidates such as William H. Seward and Salmon P. Chase.
** William B. Bankhead National Forest
William Hulbert, principal owner of the Chicago White Stockings, did not like the loose organization of the National Association and the gambling element that influenced it, so he decided to create a new organization, which he dubbed the National League of Baseball Clubs.
William Hulbert's National League, which was formed after the National Association proved ineffective, put its emphasis on " clubs " rather than " players ".
Hill Top Farm was opened to the public by the National Trust in 1946 ; her artwork was displayed there until 1985 when it was moved to William Heelis ’ s former law offices in Hawkshead, also owned by the National Trust as the Beatrix Potter Gallery.
Because of these issues, William Hulbert, the president of the Chicago club, spearheaded the development of the National League, whose inaugural season was 1876.
* National Archives – Images of letters and other documents concerning Captain William Kidd
* 1811 – A theater fire in Richmond, Virginia kills the Governor of Virginia George William Smith and the president of the First National Bank of Virginia Abraham B. Venable.
James Northcote, William Godwin, oil on canvas, 1802, the National Portrait Gallery ( London ) | National Portrait Gallery, William Godwin, a radical liberalism | liberal and utilitarian was one of the first to espouse what became known as individualist anarchism.
The first U. S. edition, translated by William Weaver, won the National Book Award in category Translation
* 1896 – William Jennings Bryan delivers his Cross of Gold speech advocating bimetallism at the 1896 Democratic National Convention in Chicago, Illinois.
" Jamison is the recipient of the National Mental Health Association's William Styron Award ( 1995 ), the American Foundation for Suicide Prevention Research Award ( 1996 ), the Community Mental Health Leadership Award ( 1999 ), and was a 2001 MacArthur Fellowship recipient.
William E. Odom, former director of the U. S. National Security Agency and author of The Collapse of the Soviet Military, says that Rust ’ s flight irreparably damaged the reputation of the Soviet military.
Investigators discovered incriminating evidence at his home: ammonium nitrate and blasting caps, the electric drill used to drill out the locks at the quarry, books on bomb-making, a copy of Hunter ( a 1989 novel by William Luther Pierce, the founder and chairman of the white nationalist National Alliance ) and a hand-drawn map of downtown Oklahoma City, on which was marked the Murrah Building and the spot where McVeigh's getaway car was hidden.
After lumber baron William B. Cox purchased the team in 1943, the Phillies began a rapid rise to prominence in the National League, as the team rose out of the standings cellar for the first time in five years.
Following several years of work, Louis Essen from the National Physical Laboratory ( Teddington, England ) and William Markowitz from the United States Naval Observatory ( USNO ) determined the relationship between the hyperfine transition frequency of the caesium atom and the ephemeris second.
* 1907 – McKinley National Memorial, final resting place of assassinated U. S. President William McKinley and his family, dedicated in Canton, Ohio.

William and Laboratory
Two American physicists, William Guier and George Weiffenbach, at Johns Hopkins's Applied Physics Laboratory ( APL ), decided on their own to monitor Sputnik's radio transmissions.
In 1956, John Bardeen shared the Nobel Prize in Physics with William Shockley of Semiconductor Laboratory of Beckman Instruments and Walter Brattain of Bell Telephone Laboratories " for their researches on semiconductors and their discovery of the transistor effect ".
He joined William Shockley at the Shockley Semiconductor Laboratory, a division of Beckman Instruments, but left with the " traitorous eight " in 1957, upon having issues with respect to the quality of its management, and co-founded the influential Fairchild Semiconductor corporation.
The operators who did find it, including William " Bill " Burke, later of the Naval Weapons Laboratory, Dahlgren, Virginia, were familiar with the engineering term and, amused, kept the insect with the notation " First actual case of bug being found.
* 7 / 23 / 1904 ; This Photograph of Sir William Ramsay Was Taken in His Laboratory Specially for the Scientific American
Newcomb's paradox was created by William Newcomb of the University of California's Lawrence Livermore Laboratory.
Bragg Laboratory staff in 1931: William Henry Bragg | W. H. Bragg ( sitting, center ): physicist A. Lebedev ( leftmost ), G. Gamow ( rightmost )
* William Higinbotham ( 1910 – 1994 ), physicist at nearby Brookhaven National Laboratory.
In 1955, what then remained of William Smith's original manor was primarily located in Ridge and was surrounded by the world growing up around it, in the form of the Brookhaven National Laboratory and the surrounding towns becoming increasingly populated.
In 1956, William Shockley opened Shockley Semiconductor Laboratory as a division of Beckman Instruments in Mountain View, California ; his plan was to develop a new type of " 4-layer diode " that would work faster and have more uses than then-current transistors.
In December 1912, President William Howard Taft had appointed a National Aerodynamical Laboratory Commission chaired by Robert S. Woodward, president of the Carnegie Institution of Washington.
He joined Caltech alumnus William Shockley at the Shockley Semiconductor Laboratory division of Beckman Instruments, but left with the " traitorous eight ", when Sherman Fairchild agreed to back them and created the influential Fairchild Semiconductor corporation.
The Collection is explicitly dedicated to " documenting the material culture of screen-based game media ", and in specific relation to Higinbotham: " collecting and preserving the texts, ephemera, and artifacts that document the history and work of early game innovator and Brookhaven National Laboratory scientist William A. Higinbotham, who in 1958 invented the first interactive analog computer game, Tennis for Two.
In 1955, Beckman established the Shockley Semiconductor Laboratory to fund William Shockley's research into semiconductor technology.
He first worked as a resident and later on as a member of the surgery team, working with Donald B. Effler, head of cardiovascular surgery, F. Mason Sones, Jr., who was in charge of the Angiography Laboratory and William L. Proudfit, head of the Department of Cardiology.
The William Small Physical Laboratory, which houses the Physics department at the College of William & Mary, is named in his honor.
In 1956, he was among the first to accept an offer from William Shockley to come to California to help form what became Shockley Semiconductor Laboratory.
After Tate's death in 1950, the journals were managed on an interim basis still in Minnesota by E. L. Hill and J. William Buchta until Samuel Goudsmit and Simon Pasternack were appointed and the editorial office moved to the Brookhaven National Laboratory ( BNL ) on the east end of Long Island, New York.
** William Pickering ( b. 1910 ), former head of NASA's Jet Propulsion Laboratory.
William Folkner of NASA's Jet Propulsion Laboratory is the Principal Investigator.
William Robert " Bert " Sutherland ( born May 10, 1936 ), older brother of Ivan Sutherland, was the longtime manager of three prominent research labs, including Sun Microsystems Laboratories ( 1992 – 1998 ), the Systems Science Laboratory at Xerox PARC ( 1975 – 1981 ), and the Computer Science Division of Bolt, Beranek and Newman, Inc. which helped develop the ARPANET.

1.620 seconds.