| dbo:abstract
|
- Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing. (ca)
- روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991. (ar)
- Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. (de)
- Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación:
* Desarrolló el sistema LCF que fue una de las primeras herramientas de demostración automática de teoremas
* Desarrollo del lenguaje ML, que era el meta lenguaje para escribir estrategias y tácticas en LCF. También fue el primer lenguaje en poseer un sistema polimórfico de tipos con inferencia automatizada y manejo de excepciones seguro desde el punto de vista de tipos.
* Desarrollo de un marco teórico para el análisis de sistemas concurrentes, el cálculo de sistemas comunicantes y su sucesor, el cálculo pi. En 1988 fue nombrado miembro de la Royal Society y en 1991 recibió el Premio Turing de la ACM. Falleció el 20 de marzo de 2010 en Cambridge. (es)
- Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique. (fr)
- Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. Pada tahun 1991, Milner mendapat penghargaan Turing Award. (in)
- Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner. (en)
- Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991. (it)
- Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus. (nl)
- アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。 (ja)
- Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF. (pl)
- Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008). (ru)
- Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988. (pt)
- Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики. (uk)
- 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。 (zh)
|
| dbo:academicDiscipline
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Arthur John Robin Gorell Milner (en)
|
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralStudent
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 11225 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthName
|
- Arthur John Robin Gorell Milner (en)
|
| dbp:birthPlace
| |
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:doctoralAdvisor
|
- None, as Milner never did a PhD (en)
|
| dbp:doctoralStudents
| |
| dbp:field
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:prizes
|
- (en)
- FRS (en)
- Turing Award (en)
- FRSE (en)
- DFBCS (en)
- Foreign Associate, NAE (en)
|
| dbp:wikiPageUsesTemplate
| |
| dbp:wordnet_type
| |
| dbp:workInstitution
|
- Aarhus University (en)
- Ferranti (en)
- Stanford University (en)
- Swansea University (en)
- University of Cambridge (en)
- University of Edinburgh (en)
- (en)
- City University, London (en)
|
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Arthur John Robin Gorell Milner FRS FRSE (13 de gener de 1934 – 20 de març de 2010), conegut com a Robin Milner o A. J. R. G. Milner, fou un informàtic britànic, guanyador del premi Turing. (ca)
- روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991. (ar)
- Arthur John Robin Gorell Milner FRS FRSE (* 13. Januar 1934 in bei Plymouth; † 20. März 2010 in Cambridge) war ein britischer Professor für Informatik und Turingpreisträger. (de)
- Arthur John Robin Gorell Milner, né le 13 janvier 1934 à Yealmpton, près de Plymouth et mort le 20 mars 2010 à Cambridge, est un informaticien britannique. (fr)
- Arthur John Robin Gorell Milner FRS (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner. (en)
- Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991. (it)
- Robin Milner (Plymouth, 13 januari 1934 – Cambridge, 20 maart 2010) was een Brits informaticus. Hij is vooral bekend als de ontwikkelaar van de automatische stellingbewijzer LCF en de programmeertaal ML. Bovendien hield hij zich bezig met , in het bijzonder de Calculus of Concurrent Systems en diens opvolger de π-Calculus. (nl)
- アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。 (ja)
- Robin Milner (ur. 13 stycznia 1934 w Plymouth, zm. 20 marca 2010 w Cambridge) – brytyjski informatyk, Laureat nagrody Turinga w 1991 roku i EATCS w roku 2005. Od 1988 był członkiem Royal Society. Twórca (Logic for Computable Functions) – narzędzia wspierającego automatyczne dowodzenie twierdzeń, oraz języka ML stworzonego na potrzeby LCF. (pl)
- Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008). (ru)
- Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988. (pt)
- Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики. (uk)
- 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。 (zh)
- Robin Milner, (Plymouth, 13 de enero de 1934 - Cambridge, 20 de marzo de 2010). Prominente científico británico en Informática. Graduado en el King's College (Cambridge) en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como jefe de laboratorio de Computación de Cambridge hasta su fallecimiento. Generalmente se mencionan tres grandes contribuciones de Milner en computación: (es)
- Robin Milner adalah ilmuwan komputer dari Inggris. Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di hingga tahun 1995. Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan , alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama . Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai (CCS), dan kemudian dikembangkan menjadi pi-Calculus. (in)
|
| rdfs:label
|
- Robin Milner (en)
- روبن ميلنر (ar)
- Robin Milner (ca)
- Robin Milner (de)
- Robin Milner (eo)
- Robin Milner (es)
- Robin Milner (in)
- Robin Milner (fr)
- Robin Milner (it)
- Robin Milner (nl)
- ロビン・ミルナー (ja)
- Robin Milner (pl)
- Robin Milner (pt)
- Милнер, Робин (ru)
- Робін Мілнер (uk)
- 罗宾·米尔纳 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:designer
of | |
| is dbo:doctoralAdvisor
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is foaf:primaryTopic
of | |
