Abadi, Martín
להגדלת הטקסט להקטנת הטקסט-
אישיות
|
מספר מערכת
987007444589405171
-
נשמר בהצלחההפריט קיים באזור האישישגיאההכנסו לחשבון כדי לשמור
מידע על הזהות:
שם ראשי (לועזית)
Abadi, Martín
תאריך לידה
1963
מגדר
male
MARC
MARC
מקורות מידע
- 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)