هيو برات

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
هيو برات
معلومات شخصية

هيو برات (بالإنجليزية: Vaughan Pratt)‏ هو عالم حاسوب أسترالي، ولد في 12 أبريل 1944 في ملبورن في أستراليا.[1][2][3]

مراجع

  1. ^ Donald Knuth, James H. Morris, Jr., and Vaughan Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(2):323–350. 1977. Citations نسخة محفوظة 04 يناير 2010 على موقع واي باك مشين.
  2. ^ Blum، M.؛ Floyd، R. W.؛ Pratt، V. R.؛ Rivest، R. L.؛ Tarjan، R. E. (أغسطس 1973). "Time bounds for selection" (PDF). Journal of Computer and System Sciences. ج. 7 ع. 4: 448–461. DOI:10.1016/S0022-0000(73)80033-9. مؤرشف من الأصل (PDF) في 2019-03-31. {{استشهاد بدورية محكمة}}: الوسيط |ref=harv غير صالح (مساعدة)
  3. ^ Vaughan Pratt. Every prime has a succinct certificate. SIAM Journal on Computing, vol.4, pp.214–220. 1975. Citations, Full-text (requires paid login) نسخة محفوظة 06 يونيو 2008 على موقع واي باك مشين.