Examples: Prince; Princeton University; Ken Follett; Follett,Ken
1shortlisttitle datasearch history  
results search [or] (ISNI Number (ISN:)) 0000000109041472 | 1 hits
Person
ISNI: 
0000 0001 0904 1472
Name: 
Nerode, A.
Nerode, Anil,
Dates: 
1932-
Creation class: 
cre
Language material
Text
txt
Creation role: 
author
contributor
editor
redactor
Related names: 
Artemov, S. N.
Crossley, John N.
Dix, Jürgen
Khoussainov, Bakhadyr
Marek, Wiktor
Metakides, George (1945-)
Shore, Richard A.
Subrahmanian, V. S.
Taitslin, M. A. (1936-) (Mikhail A.))
Truszczyński, Mirosław (1955-....))
University of Chicago
Titles: 
Automata theory and its applications
Combinatorial functors
Composita, equations, and recursive definitions
Logic for applications
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
Recursion theory
Notes: 
Thesis (Ph. D.)--University of Chicago, 1956
Sources: 
VIAF BNC LC NKC NTA NUKAT SUDOC WKP
TEL