| Birthplace
|
http://dbpedia.org/resource/Plymouth +
, http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Yealmpton +
|
| http://dbpedia.org/ontology/abstract
|
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.
, Robin Milner (Plymouth, 13 januari 1934 – … 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.t Systems en diens opvolger de π-Calculus.
, 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。
, Robin Milner, (Plymouth, 13 de enero de 19 … 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.eció el 20 de marzo de 2010 en Cambridge.
, 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.
, روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991.
, アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。
, Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988.
, Robin Milner adalah ilmuwan komputer dari … 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. Milner mendapat penghargaan Turing Award.
, Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.
, 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.
, 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.
, Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991.
, Робин Милнер (англ. Arthur John Robin Gore … Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008).циональной инженерной академии США (2008).
, Robin Milner (ur. 13 stycznia 1934 w Plymo … 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.raz języka ML stworzonego na potrzeby LCF.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Royal_Society_of_Edinburgh +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/Distinguished_Fellow_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Fellow_of_the_Royal_Society +
|
| http://dbpedia.org/ontology/birthDate
|
"1934-01-13"^^xsd:date
|
| http://dbpedia.org/ontology/birthName
|
Arthur John Robin Gorell Milner
|
| http://dbpedia.org/ontology/deathDate
|
"2010-03-20"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Cambridge +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Mads_Tofte +
, http://dbpedia.org/resource/Davide_Sangiorgi +
, http://dbpedia.org/resource/Chris_Tofts +
, http://dbpedia.org/resource/Faron_Moller +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Type_inference +
, http://dbpedia.org/resource/ML_programming_language +
, http://dbpedia.org/resource/LCF_theorem_prover +
, http://dbpedia.org/resource/Pi-calculus +
, http://dbpedia.org/resource/Calculus_of_communicating_systems +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Robin_Milner.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20050913044150/http:/mitpress.mit.edu/catalog/item/default.asp%3Ftid=3797&ttype=2 +
, https://web.archive.org/web/20051126170930/http:/www.fairdene.com/picalculus/robinmilner.html +
, http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Milner:Robin.html +
, http://homepages.inf.ed.ac.uk/gdp/publications/Robin_sci_biog.pdf +
, http://www.cs.unibo.it/icalp/Lauree_milner.html +
, https://web.archive.org/web/20110720222451/http:/www.diffusion.ens.fr/data/audio/2007_12_10_milner.mp3 +
, https://www.simple-talk.com/opinion/geek-of-the-week/robin-milner-geek-of-the-week/ +
, http://www.royalsoced.org.uk/rse_press/2004/medals.htm +
, http://www8.nationalacademies.org/onpinews/newsitem.aspx%3FRecordID=02082008 +
|
| http://dbpedia.org/ontology/wikiPageID
|
93547
|
| http://dbpedia.org/ontology/wikiPageLength
|
11225
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1107473023
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Gordon_Plotkin +
, http://dbpedia.org/resource/Logic_for_Computable_Functions +
, http://dbpedia.org/resource/%C3%89cole_Normale_Sup%C3%A9rieure +
, http://dbpedia.org/resource/MIT_Press +
, http://dbpedia.org/resource/Polymorphism_%28computer_science%29 +
, http://dbpedia.org/resource/Category:2010_deaths +
, http://dbpedia.org/resource/Category:1934_births +
, http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Bigraphs +
, http://dbpedia.org/resource/British_Computer_Society +
, http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Exception_handling +
, http://dbpedia.org/resource/University_of_Edinburgh +
, http://dbpedia.org/resource/Calculus_of_communicating_systems +
, http://dbpedia.org/resource/LCF_theorem_prover +
, http://dbpedia.org/resource/ML_programming_language +
, http://dbpedia.org/resource/The_MIT_Press +
, http://dbpedia.org/resource/Category:Members_of_the_University_of_Cambridge_Computer_Laboratory +
, http://dbpedia.org/resource/Category:People_from_South_Hams_%28district%29 +
, http://dbpedia.org/resource/Royal_Engineers +
, http://dbpedia.org/resource/Category:Computer_science_writers +
, http://dbpedia.org/resource/Heart_attack +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Eton_College +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Milner_Award +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Cambridge_University_Press +
, http://dbpedia.org/resource/King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/University_of_Cambridge +
, http://dbpedia.org/resource/LNCS +
, http://dbpedia.org/resource/Ubiquitous_computing +
, http://dbpedia.org/resource/Cambridge_University_Computer_Laboratory +
, http://dbpedia.org/resource/Laboratory_for_Foundations_of_Computer_Science +
, http://dbpedia.org/resource/Concurrent_systems +
, http://dbpedia.org/resource/Category:Members_of_the_French_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Type_inference +
, http://dbpedia.org/resource/Stanford_University +
, http://dbpedia.org/resource/Fellow +
, http://dbpedia.org/resource/King%27s_Scholar +
, http://dbpedia.org/resource/Pi-calculus +
, http://dbpedia.org/resource/George_Tomline_%28politician%29 +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Category:Stanford_University_School_of_Engineering_faculty +
, http://dbpedia.org/resource/Cambridge +
, http://dbpedia.org/resource/Springer-Verlag +
, http://dbpedia.org/resource/Faron_Moller +
, http://dbpedia.org/resource/Automated_theorem_proving +
, http://dbpedia.org/resource/Fellow_of_the_Royal_Society +
, http://dbpedia.org/resource/Swansea_University +
, http://dbpedia.org/resource/Category:Academics_of_City%2C_University_of_London +
, http://dbpedia.org/resource/City_University%2C_London +
, http://dbpedia.org/resource/University_of_Bologna +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Chris_Tofts +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society_of_Edinburgh +
, http://dbpedia.org/resource/Programmer +
, http://dbpedia.org/resource/Category:Alumni_of_King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/Aarhus_University +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:People_educated_at_Eton_College +
, http://dbpedia.org/resource/Royal_Society_of_Edinburgh +
, http://dbpedia.org/resource/DBLP +
, http://dbpedia.org/resource/Royal_Society +
, http://dbpedia.org/resource/Category:Programming_language_designers +
, http://dbpedia.org/resource/Turing_Award +
, http://dbpedia.org/resource/British_people +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/Ferranti +
, http://dbpedia.org/resource/Prentice_Hall_International_Series_in_Computer_Science +
, http://dbpedia.org/resource/Category:Royal_Engineers_officers +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Plymouth +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Distinguished_Fellow_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Davide_Sangiorgi +
, http://dbpedia.org/resource/Hindley%E2%80%93Milner_type_system +
, http://dbpedia.org/resource/Mads_Tofte +
, http://dbpedia.org/resource/Yealmpton +
, http://dbpedia.org/resource/Category:Academics_of_Swansea_University +
|
| http://dbpedia.org/property/birthDate
|
"1934-01-13"^^xsd:date
|
| http://dbpedia.org/property/birthName
|
Arthur John Robin Gorell Milner
|
| http://dbpedia.org/property/birthPlace
|
http://dbpedia.org/resource/England +
, http://dbpedia.org/resource/Yealmpton +
, http://dbpedia.org/resource/Plymouth +
|
| http://dbpedia.org/property/deathDate
|
"2010-03-20"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
http://dbpedia.org/resource/Cambridge +
, http://dbpedia.org/resource/England +
|
| http://dbpedia.org/property/doctoralAdvisor
|
None, as Milner never did a PhD
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Mads_Tofte +
, http://dbpedia.org/resource/Davide_Sangiorgi +
, http://dbpedia.org/resource/Faron_Moller +
, http://dbpedia.org/resource/Chris_Tofts +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Calculus_of_communicating_systems +
, LCF
, Hindley–Milner type inference
, ML
, Theory of Computer Science
, -calculus
|
| http://dbpedia.org/property/name
|
Robin Milner
|
| http://dbpedia.org/property/prizes
|
FRSE
, Turing Award
, FRS
, Foreign Associate, NAE
, DFBCS
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
, http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:ISBN +
, http://dbpedia.org/resource/Template:Pi +
, http://dbpedia.org/resource/Template:EATCS_Award_laureates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Postnominals +
, http://dbpedia.org/resource/Template:Turing_award +
|
| http://dbpedia.org/property/wordnet type
|
http://www.w3.org/2006/03/wn/wn20/instances/synset-scientist-noun-1 +
|
| http://dbpedia.org/property/workInstitution
|
City University, London
, Stanford University
, University of Cambridge
, Swansea University
, Aarhus University
, Ferranti
, University of Edinburgh
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Alumni_of_King%27s_College%2C_Cambridge +
, http://dbpedia.org/resource/Category:Members_of_the_University_of_Cambridge_Computer_Laboratory +
, http://dbpedia.org/resource/Category:Computer_science_writers +
, http://dbpedia.org/resource/Category:Turing_Award_laureates +
, http://dbpedia.org/resource/Category:Programming_language_researchers +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:2010_deaths +
, http://dbpedia.org/resource/Category:Members_of_the_French_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:People_from_South_Hams_%28district%29 +
, http://dbpedia.org/resource/Category:1934_births +
, http://dbpedia.org/resource/Category:Programming_language_designers +
, http://dbpedia.org/resource/Category:Royal_Engineers_officers +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society_of_Edinburgh +
, http://dbpedia.org/resource/Category:Academics_of_the_University_of_Edinburgh +
, http://dbpedia.org/resource/Category:Academics_of_Swansea_University +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Foreign_associates_of_the_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society +
, http://dbpedia.org/resource/Category:People_educated_at_Eton_College +
, http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society +
, http://dbpedia.org/resource/Category:Stanford_University_School_of_Engineering_faculty +
, http://dbpedia.org/resource/Category:British_computer_scientists +
, http://dbpedia.org/resource/Category:Academics_of_City%2C_University_of_London +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Scientist +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/10415187 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Robin_Milner?oldid=1107473023&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Robin_Milner.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Robin_Milner +
|
| http://xmlns.com/foaf/0.1/name
|
Robin Milner
|
| owl:sameAs |
http://id.dbpedia.org/resource/Robin_Milner +
, http://pl.dbpedia.org/resource/Robin_Milner +
, http://arz.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D9%86_%D9%85%D9%8A%D9%84%D9%86%D8%B1 +
, http://eo.dbpedia.org/resource/Robin_Milner +
, http://mg.dbpedia.org/resource/Robin_Milner +
, http://yago-knowledge.org/resource/Robin_Milner +
, http://ar.dbpedia.org/resource/%D8%B1%D9%88%D8%A8%D9%86_%D9%85%D9%8A%D9%84%D9%86%D8%B1 +
, http://uk.dbpedia.org/resource/%D0%A0%D0%BE%D0%B1%D1%96%D0%BD_%D0%9C%D1%96%D0%BB%D0%BD%D0%B5%D1%80 +
, http://az.dbpedia.org/resource/Artur_Con_Robin_Qorell_Milner +
, http://sk.dbpedia.org/resource/Robin_Milner +
, http://es.dbpedia.org/resource/Robin_Milner +
, http://vi.dbpedia.org/resource/Robin_Milner +
, http://pt.dbpedia.org/resource/Robin_Milner +
, http://dbpedia.org/resource/Robin_Milner +
, http://tr.dbpedia.org/resource/Robin_Milner +
, http://rdf.freebase.com/ns/m.0n69g +
, https://global.dbpedia.org/id/55G7A +
, http://fr.dbpedia.org/resource/Robin_Milner +
, http://fa.dbpedia.org/resource/%D8%B1%D8%A7%D8%A8%DB%8C%D9%86_%D9%85%DB%8C%D9%84%D8%B2 +
, http://www.wikidata.org/entity/Q92643 +
, http://ca.dbpedia.org/resource/Robin_Milner +
, http://it.dbpedia.org/resource/Robin_Milner +
, http://data.bibliotheken.nl/id/thes/p074620355 +
, http://nl.dbpedia.org/resource/Robin_Milner +
, http://viaf.org/viaf/10415187 +
, http://ro.dbpedia.org/resource/Robin_Milner +
, http://ru.dbpedia.org/resource/%D0%9C%D0%B8%D0%BB%D0%BD%D0%B5%D1%80%2C_%D0%A0%D0%BE%D0%B1%D0%B8%D0%BD +
, http://bn.dbpedia.org/resource/%E0%A6%B0%E0%A6%AC%E0%A6%BF%E0%A6%A8_%E0%A6%AE%E0%A6%BF%E0%A6%B2%E0%A6%A8%E0%A6%BE%E0%A6%B0 +
, http://ja.dbpedia.org/resource/%E3%83%AD%E3%83%93%E3%83%B3%E3%83%BB%E3%83%9F%E3%83%AB%E3%83%8A%E3%83%BC +
, http://zh.dbpedia.org/resource/%E7%BD%97%E5%AE%BE%C2%B7%E7%B1%B3%E5%B0%94%E7%BA%B3 +
, http://sr.dbpedia.org/resource/%D0%A0%D0%BE%D0%B1%D0%B8%D0%BD_%D0%9C%D0%B8%D0%BB%D0%BD%D0%B5%D1%80 +
, https://dblp.org/pid/m/RobinMilner +
, http://azb.dbpedia.org/resource/%D8%B1%D8%A7%D8%A8%DB%8C%D9%86_%D9%85%DB%8C%D9%84%D8%B2 +
, http://sh.dbpedia.org/resource/Robin_Milner +
, http://www4.wiwiss.fu-berlin.de/dblp/resource/person/109330 +
, http://de.dbpedia.org/resource/Robin_Milner +
, http://d-nb.info/gnd/128466081 +
|
| rdf:type |
http://dbpedia.org/ontology/Eukaryote +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/SkilledWorker110605985 +
, http://dbpedia.org/class/yago/WikicatAcademicsOfCityUniversityLondon +
, http://dbpedia.org/class/yago/MilitaryOfficer110317007 +
, http://dbpedia.org/class/yago/WikicatBritishPeople +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/Writer110794014 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSociety +
, http://dbpedia.org/class/yago/ResearchWorker110523076 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Worker109632518 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Educator110045713 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/Academician109759069 +
, http://dbpedia.org/class/yago/WikicatTuringAwardLaureates +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Laureate110249011 +
, http://dbpedia.org/class/yago/Serviceman110582746 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheRoyalSocietyOfEdinburgh +
, http://dbpedia.org/class/yago/WikicatRoyalEngineersOfficers +
, http://dbpedia.org/class/yago/WikicatAcademicsOfSwanseaUniversity +
, http://dbpedia.org/class/yago/InteriorDesigner110210648 +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/Expert109617867 +
, http://dbpedia.org/class/yago/WikicatComputerScienceWriters +
, http://dbpedia.org/class/yago/Specialist110631941 +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguageResearchers +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguageDesigners +
, http://dbpedia.org/class/yago/Professional110480253 +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheBritishComputerSociety +
, http://dbpedia.org/class/yago/WikicatBritishComputerScientists +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatAcademicsOfTheUniversityOfEdinburgh +
, http://www.wikidata.org/entity/Q901 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatPeopleFromDevon +
, http://dbpedia.org/class/yago/WikicatFormalMethodsPeople +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/Alumnus109786338 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Scholar110557854 +
, http://dbpedia.org/class/yago/Communicator109610660 +
, http://dbpedia.org/class/yago/WikicatPeopleEducatedAtEtonCollege +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/WikicatAlumniOfKing%27sCollege%2CCambridge +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://www.wikidata.org/entity/Q729 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
|
| rdfs:comment |
アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John Robin Gorell Milner FRS、1934年1月13日 - 2010年3月20日）は、英国の計算機科学者。通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマスの近くに生まれ、ケンブリッジにて没す。
, 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.
, 亞瑟·約翰·羅賓·葛瑞爾·米爾納（英語：Arthur John Robin Gorell Milner，1934年1月13日－2010年3月20日），生于英国普利茅斯，计算机科学家。1991年获得图灵奖。他是英国皇家学会成员，ACM会士。
, Robin Milner (Plymouth, 13 januari 1934 – … 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.t Systems en diens opvolger de π-Calculus.
, Робин Милнер (англ. Arthur John Robin Gore … Робин Милнер (англ. Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем. Член Лондонского королевского общества (1988), иностранный член Французской академии наук (2005), Национальной инженерной академии США (2008).циональной инженерной академии США (2008).
, Robin Milner, (Plymouth, 13 de enero de 19 … 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:s contribuciones de Milner en computación:
, Arthur John Robin Gorell Milner (Plymouth, 13 de janeiro de 1934) é um informático britânico. Foi eleito membro da Royal Society em 1988.
, 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.
, 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.
, روبن ميلنر (بالإنجليزية: Robin Milner) (ولد 13 يناير 1934 وتوفي في 20 مارس 2010) عالم حاسوب بريطاني، اشتهر في مجال علم الحاسوب، فاز بجائزة تورنغ في عام 1991.
, Arthur John Robin Gorell Milner (Plymouth, 13 gennaio 1934 – Cambridge, 20 marzo 2010) è stato un informatico britannico, vincitore del premio Turing nel 1991.
, 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.
, Robin Milner (ur. 13 stycznia 1934 w Plymo … 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.raz języka ML stworzonego na potrzeby LCF.
, Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у (Плімут, Англія) — пом.20 березня 2010 р. у Кембриджі, Англія) — видатний англійський математик та науковець в галузі інформатики.
, Robin Milner adalah ilmuwan komputer dari … 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.kemudian dikembangkan menjadi pi-Calculus.
|
| rdfs:label |
Robin Milner
, ロビン・ミルナー
, Робін Мілнер
, Милнер, Робин
, 罗宾·米尔纳
, روبن ميلنر
|
