ستيف ريفيس
ستيف ريفيس (بالإنجليزية: Steve Reeves) هو عالم حاسوب ومهندس نيوزيلندي، ولد في 31 أكتوبر 1957 في برايتون في المملكة المتحدة.[4][5][6]
| ستيف ريفيس | |
|---|---|
| معلومات شخصية | |
| الميلاد | 31 أكتوبر 1957 (67 سنة) برايتون |
| الإقامة | نيوزيلندا |
| مواطنة |  نيوزيلندا |
| الحياة العملية | |
| المدرسة الأم | جامعة برمنغهام |
| المهنة | عالم حاسوب، ومهندس |
| موظف في | جامعة إسكس، وكلية الملكة ماري, جامعة لندن، وجامعة وايكاتو، وجامعة وايكاتو[1]، وكلية الملكة ماري, جامعة لندن[2]، وجامعة إسكس[3] |
| الجوائز | |
تعديل مصدري - تعديل  | |
مراجع
عدل- ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ^ Angel Montenegro (27 Sep 2023), ORCID Public Data File 2023 (بالإنجليزية), DOI:10.23640/07243.24204912.V1, QID:Q123508386
- ^ Martin Henson, The Standard Logic of Z is Inconsistent, Formal Aspects of Computing, Volume 10, Number 3, 243–247, 1998. دُوِي:10.1007/s001650050014. [وصلة مكسورة] نسخة محفوظة 21 يناير 2020 على موقع واي باك مشين.
- ^ Steve Reeves Personal Web Page, Department of Computer Science, جامعة وايكاتو, New Zealand. نسخة محفوظة 24 يناير 2019 على موقع واي باك مشين.
- ^ People: Computer Science, Department of Computer Science, University of Waikato, New Zealand. نسخة محفوظة 21 يناير 2019 على موقع واي باك مشين.
