Miller, Dale
لتكبير النص لتصغير النص-
شخصية
|
رقم النظام
987007460998405171
-
تم الحفظ بنجاحהפריט קיים באזור האישישגיאהلحفظ المحتوى الرجاء تسجيل الدخول
معلومات حول الهوية:
الاسم الرئيس (باللاتينية)
Miller, Dale
صِيَغ اسمية أخرى
Miller, D. (Dale)
Miller, Dale A
تاريخ الميلاد
1956-12-11
هيئة ذات صلة
INRIA-Saclay
النوع الاجتماعي
male
MARC
MARC
أرقام تعريفية أخرى
مصادر المعلومات
- 2nd International Conference on Formal Structures for Computation and Deduction, September 2017:title page (Dale Miller, editor)
- OCLC, 24 June 2010(hdg.: Miller, Dale, 1956-; usage: Dale Miller)
- Logic programming, c1993:t.p. (Dale Miller) p. xiii (Univ. of Penn.)
- OCLC #18293968, 4/17/95(hdg.: Miller, Dale A.; usage Dale A. Miller)
- OCLC #25511436, 4/17/95(hdg.: Miller, Dale A.; usage D. Miller)
- Programming with higher-order logic, 2012:ECIP t.p. (Dale Miller; INRIA Saclay, Ile de France) data view (b. December 11, 1956; currently Director of Research at INRIA-Saclay where he is the Scientific Leader of the Parsifal team; has been a professor at the University of Pennsylvania and at the Ecole Polytechnique (France) and a Department Head at the Pennsylvania State University; has held visiting positions at the universities of Aix-Marseille, Sienna, Genoa, Pisa, and Edinburgh; received his PhD in Mathematics in 1983 from Carnegie Mellon University)