rdfs:comment
| - جون ألان روبنسون (بالإنجليزية: John Alan Robinson) هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة. (ar)
- John Alan Robinson (9 March 1930 – 5 August 2016) was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated reasoning. (en)
- Джон А́лан Ро́бінсон (англ. John Alan Robinson; нар. 9 березня 1930, Йоркшир, Велика Британія — 5 серпня 2016, Портленд, США) — англійський філософ і логік, зробив важливий внесок у становлення логічного програмування. Його називають одним із засновників сучасної програмованої логіки. У 1996 р. Робінсон отримав премію імені Жака Ербрана за видатний внесок у розвиток автоматизації міркувань. (uk)
- Джон Алан Робинсон (англ. John Alan Robinson; 1930, Йоркшир, Великобритания — 5 августа 2016) — британский философ и логик, внёс важный вклад в становление логического программирования. (ru)
- John Alan Robinson, genannt Alan Robinson, (* 9. März 1930 in Halifax, Yorkshire, Großbritannien; † 5. August 2016 in Portland, Maine, Vereinigte Staaten) war ein britischer Philosoph und Logiker, der wichtige Beiträge zur Logikprogrammierung geleistet hat. 1965 veröffentlichte er mit „A machine-oriented logic based on the resolution principle“ wichtige Grundlagen zur automatisierbaren Resolution in der Logik. Auf ihn geht ein Algorithmus zur Unifikation von prädikatenlogischen Formeln zurück, der entscheidend beim Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel ist. (de)
- John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'Université de Syracuse. (fr)
- John Alan Robinson (Halifax, 9 de março de 1930 - Portland (Maine), 5 de agosto de 2016) foi um filósofo (por formação), matemático e cientista da computação . Ele era Professor Emérito Universitário da Universidade de Syracuse, Estados Unidos. (pt)
|