ID:DA00983235
Nerode, A.
Search authors sharing the same name
Sergei Artemov, Anil Nerode (eds.)
Springer c2022 Lecture notes in computer science 13137 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 1 libraries
Springer c2020 Lecture notes in computer science 11972 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Springer c2018 Lecture notes in computer science 10703 . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues
Available at 2 libraries
Sergei N. Artemov, Anil Nerode (eds.)
Springer c2007 Lecture notes in computer science 4514
Available at 4 libraries
Bakhadyr Khoussainov, Anil Nerode
Birkhäuser c2001 Progress in computer science and applied logic v. 21
Available at 25 libraries
Jürgen Dix, Ulrich Furbach, Anil Nerode, (eds.)
Springer c1997 Lecture notes in computer science 1265 . Lecture notes in artificial intelligence
Available at 45 libraries
Sergei Adian, Anil Nerode, (eds.)
Springer-Verlag c1997 Lecture notes in computer science 1234
Available at 51 libraries
Anil Nerode and Richard A. Shore
Springer c1997 2nd ed Graduate texts in computer science
Available at 41 libraries
G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos
Elsevier 1996 Studies in computer science and artificial intelligence 13
Available at 21 libraries
V.W. Marek, A. Nerode, M. Truszczyński (eds.)
Springer Verlag c1995 Lecture notes in computer science 928 . Lecture notes in artificial intelligence
: gw , : us
Available at 58 libraries
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
Available at 63 libraries
John N. Crossley ... [et al.], editors
Birkhäuser 1993 Progress in computer science and applied logic v. 12
: us , : sz
Available at 16 libraries
Anil Nerode, Richard A. Shore
Springer-Verlag c1993 Texts and monographs in computer science
Available at 31 libraries
edited by Luís Moniz Pereira and Anil Nerode
MIT Press c1993
Available at 22 libraries
A. Nerode, M. Taitslin (eds.)
Springer-Verlag c1992 Lecture notes in computer science 620
Available at 53 libraries
edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian
MIT Press c1991
Available at 32 libraries
[edited by Anil Nerode, Richard A. Shore]
American Mathematical Society c1985 Proceedings of symposia in pure mathematics v. 42
Available at 61 libraries
J.N. Crossley, Anil Nerode
Springer-Verlag 1974 Ergebnisse der Mathematik und ihrer Grenzgebiete Bd. 81
: u.s. , : gw
