| 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)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)