Developed original resolution and unification based first order theorem proving, co-editor of the " Handbook of Automated Reasoning ", recipient of the Herbrand Award 1996

The first recipient of the Cy Young Award was Don Newcombe of the Dodgers, and the most recent winners are Clayton Kershaw, from the National League, and Justin Verlander, from the American League.

In December 1995, at the Fourth WWW Conference in Boston, he was the first recipient of what would later become the Yuri Rubinsky Memorial Award.

In 1971, Knuth was the recipient of the first ACM Grace Murray Hopper Award.

In 1917 Armstrong was the first recipient of the IRE's, now IEEE Medal of Honor.

* 1985 – Artificial heart recipient William J. Schroeder becomes the first such patient to leave hospital.

On March 1, 2007, the Library of Congress announced that Paul Simon, one of America's most respected songwriters and musicians, was the first recipient of the annual Library of Congress Gershwin Prize for Popular Song.

He was selected for six consecutive All-Star Games from 1949 to 1954, was the recipient of the inaugural MLB Rookie of the Year Award in 1947, and won the National League Most Valuable Player Award in 1949 — the first black player so honored.

In 1987, both the National and American League Rookie of the Year Awards were renamed the " Jackie Robinson Award " in honor of the first recipient ( Robinson's Major League Rookie of the Year Award in 1947 encompassed both leagues ).

The first recipient was George B. Dantzig for his work on linear programming.

In 1969, he became the first recipient of the Prix mondial Cino Del Duca.

He has won the International Obfuscated C Code Contest twice and was the recipient of the first Free Software Foundation Award for the Advancement of Free Software in 1998.

* 1976 – Michael P. Murphy, U. S. Navy SEAL, first Medal of Honor recipient in the Afghanistan War

He was also the first recipient of the Golden Globe Award for Best Original Score, which he won for his score to Life with Father.

The book, first printed in the city of Saint-Dié-des-Vosges, includes in its second part, a translation to Latin of the Quattuor Americi Vespuccij navigationes ( Four Voyages of Americo Vespucci ), which is apparently a letter written by Amerigo Vespucci, although some historians consider it to have been a forgery written by its supposed recipient in Italy.

In 1922, he became the first recipient of the Faraday Medal, which was established that year.

Whilst there is little evidence to invalidate the letter as a whole, both the recipient ( s ) of the letter and whether such a letter actually nominates Barbastro as the first ' crusade ' are still a matter of dispute.

The Papyrus Anastasi I ( late 2nd millennium BC ) contains a satirical letter which first praises the virtues of its recipient, but then mocks the reader's meagre knowledge and achievements.

In 2009, South Korea officially became the first major recipient of ODA to have ascended to the status of a major donor of ODA.

Sondheim himself was the first recipient of the award, which also includes a $ 5000 honorarium for the recipients ' choice of a nonprofit organization.

The American Institute of Electrical Engineers created the Edison Medal in 1923 and he was its first recipient.

The Legend of Zelda franchise is the inaugural recipient of Spike TV's first ever Video Game Hall of Fame award.

The first recipient, in 1966, was Alan Perlis, of Carnegie Mellon University.

Frances E. Allen of IBM, in 2006, was the first female recipient in the award's forty year history.

In 2011, the School of Medicine was the second largest recipient of National Institutes of Health research funds among all US medical schools, and the first among all public medical schools, receiving awards totaling $ 532. 8 million.

The first bill to contain both sides of the seal was the series 1935 $ 1 Silver Certificate.

The first step is acquiring the Private Pilot License ( PPL ), or Private Pilot Certificate.

The course is linked to the University of Kent Certificate programme, equivalent to the first year of the University of Kent degree.

I was one of the first to receive my Scout Certificate.

GCSE exams were introduced as the compulsory school-leavers ' examinations in the late 1980s ( the first exams being taken in the summer of 1988 ) by the Conservative Party government, replacing the Certificate of Secondary Education ( CSE ) and GCE Ordinary Level ( O-Level ) examinations.

The Firearms Act 1968 introduced the concept of compulsory security for rifles and pistols and incorporated the Shotgun Certificate first outlined in the Criminal Justice Act 1967.

The Choir of the West won a Gold Certificate ( second place ) in the Large Mixed Choir division, and the men of the choir won a Gold Certificate ( first place ) in the Male Chamber Choir division.

UL is ranked 4th for attracting students who attain over 500 points in the Leaving Certificate however in contrast it has one of the lowest rates of first class or 2. 1 honours degrees of Irish universities.

His first club was Harlequins but he left to go to Loughborough University where he gained a Bachelor of Science degree in sports science followed by a Postgraduate Certificate in Education ( PGCE ).

Munn later gained a Certificate and Diploma in Management Studies from the Open University and in 2012 became the first MP to be awarded Chartered Manager status by the Chartered Management Institute.

* 1886: The first $ 5 Silver Certificate was issued with a portrait of Ulysses S. Grant on the obverse and five Morgan silver dollars on the reverse.

* 1878: The first $ 10 Silver Certificate was issued with a portrait of Robert Morris on the left side of the obverse.

* 1907: The first $ 10 Gold Certificate with a portrait of Michael Hillegas on the front and orange-colored back was issued.

* 1878: The first $ 50 Silver Certificate was issued with a portrait of Edward Everett.

* 1882: The first $ 50 Gold Certificate with a portrait of Silas Wright was issued.

* September 28, 2004: A revised design was implemented, as Series 2004, with the first use of multiple colors since the 1905 $ 20 Gold Certificate.

* 1878: The first $ 100 Silver Certificate was issued with a portrait of James Monroe on the left side of the obverse.

* Sixth Year ( An Séú Bliain ) ( age 17 – 19 or, again, if transition year is skipped age 16 – 17 ) – The Leaving Certificate ( Ardteistiméireacht ) examinations begin on the first Wednesday after the June bank holiday every year.

The Primary Certificate Examination ( 1929 – 1967 ) was the terminal examination at this level until the first primary-school curriculum, Curaclam na Bunscoile ( 1971 ), was introduced, though informal standardised tests are still performed.

In 1886, the first $ 2 Silver Certificate with a portrait of United States Civil War General Winfield Scott Hancock on the left of the obverse was issued.

* 1886: The first woman to appear on U. S. currency, Martha Washington, was featured on the $ 1 Silver Certificate.

The G550 is the first civil aircraft to receive a Type Certificate issued by the Federal Aviation Administration ( FAA ) that includes an Enhanced Vision System ( EVS ) as standard equipment on an aircraft.

He went first to London in 1849 and is listed on the Certificate of Arrival as being a merchant and an architect.

The Junior Certificate officially replaced the Day Vocational ( Group ) Certificate (" Day Cert " or " Group Cert ") and the Intermediate Certificate (" Inter Cert ") in 1992 when the first Junior Cert examinations were held ; instruction in the new course had commenced in September 1989.