Find link

language:

Find link is a tool written by Edward Betts.

searching for Lee Constable 13 found (15 total)

Robert L. Constable (807 words) [view diff] exact match in snippet view article find links to article

Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of

Nuprl (507 words) [view diff] exact match in snippet view article find links to article

verification and optimization. Originally developed in the 1980s by Robert Lee Constable and others, the system is now maintained by the PRL Project at Cornell

Jim Constable (128 words) [view diff] exact match in snippet view article find links to article

Jimmy Lee Constable (June 14, 1933 – September 4, 2002) was a relief pitcher in Major League Baseball. From 1957 through 1963, he played for the New York/San

2014 New Zealand bravery awards (295 words) [view diff] no match in snippet view article find links to article

James Kumbaroff – firefighter, New Zealand Fire Service. Daniel James Lee - constable, New Zealand Police. Michael John Lennard – senior firefighter, New

Lyndon, Vermont (1,512 words) [view diff] no match in snippet view article find links to article

Thompson Fred Gorham • Listers Lawrence Willey Carol J. Fisher Linda Lee • Constable Jack Harris Area • Total 39.8 sq mi (103.1 km2) • Land 39.5 sq mi

Kurt Mehlhorn (846 words) [view diff] exact match in snippet view article find links to article

Paris Kanellakis Award (2010) Scientific career Fields Computer science Institutions Universität des Saarlandes Doctoral advisor Robert Lee Constable

Summer School Marktoberdorf (323 words) [view diff] exact match in snippet view article find links to article

Past academic directors and co-directors include: Manfred Broy Robert Lee Constable Javier Esparza Orna Grumberg David Harel Tony Hoare* Orna Kupferman

Edmund M. Clarke (768 words) [view diff] exact match in snippet view article find links to article

Theorems for Hoare-Like Axiom Systems (1976) Doctoral advisor Robert Lee Constable Doctoral students E. Allen Emerson Bhubaneswar Mishra David L. Dill

Cambridgeshire Constabulary (1,860 words) [view diff] exact match in snippet view article find links to article

a police van when he collapsed and died of heart failure. Alan John Lee Constable 37 10 September 2002 Killed in a road traffic accident whilst reporting

List of fellows of the Association for Computing Machinery (3,836 words) [view diff] exact match in snippet view article find links to article

H. Brandin Richard P. Brent Loren C. Carpenter Edwin Catmull Robert Lee Constable Dorothy E. Denning David J. DeWitt Larry E. Druffel Erwin Engeler Stuart

Mountain Meadows Massacre (10,116 words) [view diff] no match in snippet view article find links to article

Maj. John D. Lee, constable, judge, Indian Agent. The only convicted participant, Lee conspired in advance with his immediate commander, Isaac C. Haight

Investigations and prosecutions relating to the Mountain Meadows Massacre (4,634 words) [view diff] no match in snippet view article find links to article

dead who he thought were victims of an "Indian attack." Maj. John D. Lee, constable, judge, and Indian Agent. Having conspired in advance with his immediate

1981 New Year Honours (19,682 words) [view diff] no match in snippet view article find links to article

Institution. Douglas Large, Driver, Crewe, British Rail. Joseph Keith Lee, Constable, West Yorkshire Metropolitan Police. David Lemon, Constable, Royal Ulster