هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

جون ألان روبنسون

من ويكيبيديا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
جون ألان روبنسون
John Alan Robinson IMG 0493.jpg
 

معلومات شخصية
الميلاد 9 مارس 1930  تعديل قيمة خاصية (P569) في ويكي بيانات
يوركشاير  تعديل قيمة خاصية (P19) في ويكي بيانات
الوفاة 5 أغسطس 2016 (86 سنة)   تعديل قيمة خاصية (P570) في ويكي بيانات
بورتلاند، مين  تعديل قيمة خاصية (P20) في ويكي بيانات
مواطنة Flag of the United Kingdom.svg المملكة المتحدة
Flag of the United States.svg الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
عضو في جمعية النهوض بالذكاء الاصطناعي  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة كامبريدج
جامعة برنستون
جامعة أوريغون  تعديل قيمة خاصية (P69) في ويكي بيانات
مشرف الدكتوراه كارل هيمبل  تعديل قيمة خاصية (P184) في ويكي بيانات
المهنة رياضياتي،  وعالم حاسوب،  ومهندس،  وفيلسوف  تعديل قيمة خاصية (P106) في ويكي بيانات
اللغات الإنجليزية[1]  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل رياضيات  تعديل قيمة خاصية (P101) في ويكي بيانات
موظف في جامعة رايس،  وجامعة سيراكيوز  تعديل قيمة خاصية (P108) في ويكي بيانات
الجوائز

جون ألان روبنسون (بالإنجليزية: John Alan Robinson)‏ هو عالم حاسوب ورياضياتي ومهندس أمريكي وبريطاني، ولد في 9 مارس 1930 في يوركشاير في المملكة المتحدة، وتوفي في 5 أغسطس 2016 في بورتلاند في الولايات المتحدة.[2][3][4]

مراجع[عدل]

  1. ^ http://data.bnf.fr/ark:/12148/cb12367215g — تاريخ الاطلاع: 10 أكتوبر 2015 — المؤلف: المكتبة الوطنية الفرنسية — الرخصة: رخصة حرة
  2. ^ John Alan Robinson CV, upm.es, access date 12 August 2016 نسخة محفوظة 18 مايو 2012 على موقع واي باك مشين.
  3. ^ The Coq Development Team (2018-10-18). The Coq Reference Manual: Release 8.10+alpha (PDF). صفحة 3. مؤرشف من الأصل (PDF) في 19 أكتوبر 2018. اطلع عليه بتاريخ 19 أكتوبر 2018. Automated theorem-proving was pioneered in the 1960’s by Davis and Putnam in propositional calculus. A complete mechanization (in the sense of a semidecision procedure) of classical first-order logic was proposed in 1965 by J.A. Robinson, with a single uniform inference rule called resolution. Resolution relies on solving equations in free algebras (i.e. term structures), using the unification algorithm. Many refinements of resolution were studied in the 1970’s, but few convincing implementations were realized, except of course that PROLOG is in some sense issued from this effort. الوسيط |CitationClass= تم تجاهله (مساعدة)
  4. ^ philosophyfamilytree record نسخة محفوظة 28 أكتوبر 2014 على موقع واي باك مشين.

وصلات خارجية[عدل]

  • لا بيانات لهذه المقالة على ويكي داتا تخص الفن
Flag of the United States.svg
هذه بذرة مقالة عن فيلسوف أمريكي بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن عالم حاسوب بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن مهندس بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن فيلسوف بريطاني بحاجة للتوسيع. شارك في تحريرها.
Flag of the United Kingdom.svg
هذه بذرة مقالة عن رياضياتي بريطاني بحاجة للتوسيع. شارك في تحريرها.