LC control no. | n 89618345 |
---|---|
Personal name heading | Immerman, Neil, 1953- |
Found in | nuc89-32699: His First order expressibility as a ... 1980 (hdg. on NIC rept.: Immerman, Neil, 1953- ; usage: Neil Immerman) Descriptive complexity and finite models, c1997: CIP t.p. (Neil Immerman) data sht. (b. Nov. 24, 1953) |