عرض مصدر هيو برات

{{صندوق معلومات شخص}}
'''هيو برات''' {{إنج|Vaughan Pratt}} هو [[عالم حاسوب]] [[أستراليا|أسترالي]]، ولد في [[12 أبريل]] [[1944]] في [[ملبورن]] في [[أستراليا]].<ref>Donald Knuth, James H. Morris, Jr., and Vaughan Pratt. Fast pattern matching in strings. ''SIAM Journal on Computing'', 6(2):323–350. 1977. [http://citeseer.ist.psu.edu/context/23820/0 Citations] {{Webarchive|url=https://web.archive.org/web/20100104101822/http://citeseer.ist.psu.edu/context/23820/0 |date=04 يناير 2010}}</ref><ref>{{استشهاد بدورية محكمة | الأخير1 = Blum | الأول1 = M. | مؤلف1-وصلة = Manuel Blum| الأخير2 = Floyd | الأول2 = R. W. | مؤلف2-وصلة = Robert Floyd| الأخير3 = Pratt | الأول3 = V. R. | مؤلف3-وصلة = Vaughan Pratt| الأخير4 = Rivest | الأول4 = R. L. | مؤلف4-وصلة = Ron Rivest| الأخير5 = Tarjan | الأول5 = R. E. | مؤلف5-وصلة = Robert Tarjan | عنوان = Time bounds for selection | doi = 10.1016/S0022-0000(73)80033-9 | صحيفة = Journal of Computer and System Sciences | المجلد = 7 | العدد = 4  | صفحات = 448–461 | تاريخ =August 1973 | مسار = http://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf| ref = harv | مسار أرشيف = https://web.archive.org/web/20190331185451/http://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf | تاريخ أرشيف = 31 مارس 2019 }}</ref><ref>Vaughan Pratt. Every prime has a succinct certificate. ''SIAM Journal on Computing'', vol.4, pp.214–220. 1975. [http://citeseer.ist.psu.edu/context/39245/0 Citations], [http://locus.siam.org/SICOMP/volume-04/art_0204018.html Full-text] (requires paid login) {{Webarchive|url=https://web.archive.org/web/20080606085156/http://citeseer.ist.psu.edu/context/39245/0 |date=06 يونيو 2008}}</ref>