Poprzednia

ⓘ Robin Milner




                                     

ⓘ Robin Milner

English version: Robin Milner

Robin Milner – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society.

Twórca LCF Logic for Computable Functions – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF.

                                     
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Kapitan Blood Hal Mohr Sen nocy letniej Gregg Toland Nędznicy Victor Milner Wyprawy krzyżowe Ray June Barbary Coast Richard Day Czarny anioł Van
  • Stanley Westoll 1968 Gilbert Wilson 1969 Percy Edward Kent 1970 Robert Milner Shackleton 1971 Basil Charles King 1972 Stephen Robert Nockolds 1973 Alwyn
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • na 15.10.2013 656 bramek w 234 meczach stan na 12 października 2013 Robin van Persie Edin Džeko Vedad Ibišević Mesut Özil Wayne Rooney Tomer Chemed
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:
  • Ivan Sutherland 1989: William Kahan 1990: Fernando J. Corbató 1991: Robin Milner 1992: Butler W. Lampson 1993: Juris Hartmanis, Richard E. Stearns 1994:

Użytkownicy również szukali:

...
...
...