STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Anil Nerode | lit.salon
Anil Nerode
Born:
1932
No bio available.
Add one in Open Library.
Born:
1932
Books by Anil Nerode (50 max)
+ shelf
+ list
Logic programming and non-monotonic reasoning: proceedings of the second international workshop
1993
Luis Moniz Pereira, Anil Nerode
+ shelf
+ list
Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop
1991
Anil Nerode, Wiktor Marek, V. S. Subrahmanian
+ shelf
+ list
Logical foundations of computer science--Tver '92: second international symposium, Tver, Russia, July 20-24, 1992 proceedings
1992
Anil Nerode
+ shelf
+ list
Logic for applications
1993
Anil Nerode
+ shelf
+ list
Logical methods: in honor of Anil Nerode's sixtieth birthday
1993
Anil Nerode, John N. Crossley
+ shelf
+ list
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
1992
Anil Nerode
+ shelf
+ list
Logical methods in honor of Anil Nerode's sixtieth birthday
1993
Anil Nerode, John N. Crossley
+ shelf
+ list
Logical foundations of computer science: third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
1994
Anil Nerode
+ shelf
+ list
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)
1994
Anil Nerode
+ shelf
+ list
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
2001
Bakhadyr Khoussainov, Anil Nerode