Abadi, Martín
لتكبير النص لتصغير النص-
تم الحفظ بنجاحהפריט קיים באזור האישישגיאהلحفظ المحتوى الرجاء تسجيل الدخول
معلومات حول الهوية:
أرقام تعريفية أخرى
مصادر المعلومات
- nuc89-2499: His Temporal-logic theorem proving, 1987(hdg. on CSt rept.: Abadi, Martín; usage: Martín Abadi)
- A theory of objects, 1996:CIP t.p. (Martín Abadi)
ملخص ويكيبيديا:
مارتين عبادي (بالإنجليزية: Martín Abadi؛ بالإسبانية: Martín Abadi) هو عالم تعمية وعالم حاسوب أمريكي وأرجنتيني، ولد في 1963 في الأرجنتين.
للاطلاع على المقالة الكاملة في ويكيبيديا >