LC control no. | n 82090372 |
---|---|
Personal name heading | Nerode, Anil, 1932- |
Variant(s) | Nerode, A. (Anil), 1932- |
Found in | Author's Composita, equations, and recursive definitions, 1956. Logical foundations of computer science--Tver '92, c1992: CIP t.p. (A. Nerode) t.p. verso (Anil Nerode; Cornell Univ., Mathematical Sciences Institute, Ithaca, N.Y.) |