Abadi, Martín
Enlarge text Shrink text-
Personality
|
System number
987007444589405171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Abadi, Martín
Date of birth
1963
Gender
male
MARC
MARC
Other Identifiers
Sources of Information
- 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)