Anil Nerode
![]](/static/images/flourish.gif)
1932 -
Books by this Author
|
Logic for applications
by
Anil Nerode
Springer-Verlag, 1993
|
|
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
by
Ky.) Lpnmr 9 (1995 Lexington, Anil Nerode, V. W. Marek
Springer, June 1995
|
|
Logical Foundations of Computer Science
by
Anil Nerode
Springer, June 1994
|
|
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
by
Anil Nerode
Springer, July 1992
|
|
Logic for applications
by
Anil Nerode
Springer, 1997
|
|
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
by
Bakhadyr Khoussainov, Anil Nerode
Birkhäuser Boston, June 8, 2001
Hardcover
|