Anil Nerode
Anil Nerode
1932
6 books in the database
Books
Logical methodsAnil Nerode
Logical methods
Anil Nerode · 1993
Logical foundations of computer science--Tver '92Anil Nerode
Logical foundations of computer science--Tver '92
Anil Nerode · 1992
Logical methodsAnil Nerode
Logical methods
Anil Nerode · 1993
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992Anil Nerode
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Anil Nerode · 1992
Logic programming and non-monotonic reasoningAnil Nerode
Logic programming and non-monotonic reasoning
Anil Nerode · 1991
Logical Foundations of Computer ScienceAnil Nerode
Logical Foundations of Computer Science
Anil Nerode · 1994
Co-authored books and collections
Books that list Anil Nerode among their authors but not as the lead author: co-written works, collections and compilations.
