Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Sign In
Join
Sign up
View profile
Profile
Friends
Groups
Discussions
Comments
Reading Challenge
Kindle Notes & Highlights
Quotes
Favorite genres
Friends’ recommendations
Account settings
Help
Sign out
Home
My Books
Browse ▾
Recommendations
Choice Awards
Genres
Giveaways
New Releases
Lists
Explore
News & Interviews
Genres
Art
Biography
Business
Children's
Christian
Classics
Comics
Cookbooks
Ebooks
Fantasy
Fiction
Graphic Novels
Historical Fiction
History
Horror
Memoir
Music
Mystery
Nonfiction
Poetry
Psychology
Romance
Science
Science Fiction
Self Help
Sports
Thriller
Travel
Young Adult
More Genres
Community ▾
Groups
Quotes
Ask the Author
Discover new books on Goodreads
See if your friends have read any of Anil Nerode's books
Sign in with Facebook
Sign in
options
Join Goodreads
Anil Nerode’s Followers (1)
Anil Nerode
edit data
Combine Editions
Anil Nerode’s books
Anil Nerode
Average rating:
3.9
·
10
ratings ·
0
reviews ·
43 distinct works
Logic for Applications
by
Anil Nerode
,
Richard A. Shore
3.83 avg rating — 6 ratings
— published 1993 —
7 editions
Want to Read
saving…
Want to Read
Currently Reading
Read
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logic Programming and Non-Monotonic Reasoning: Proceedings of the First International Workshop
0.00 avg rating — 0 ratings
— published 1991
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Hybrid Systems II (Lecture Notes in Computer Science, 999)
0.00 avg rating — 0 ratings
— published 1995 —
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Lecture Notes in Computer Science, 813)
by
Anil Nerode
(Editor)
,
Yu.V. Matiyasevich
(Editor)
0.00 avg rating — 0 ratings
— published 1994 —
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Recursion Theory
0.00 avg rating — 0 ratings
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logical Foundations of Computer Science: Third International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)
by
Anil Nerode
,
Yu. V. Matiyasevich
(Editor)
0.00 avg rating — 0 ratings
—
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Hybrid Systems (Lecture Notes in Computer Science, 736)
by
Anil Nerode
(Editor)
,
Robert L. Grossman
(Goodreads Author)
(Editor)
,
Anders P. Ravn
(Editor)
0.00 avg rating — 0 ratings
— published 1993
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 : Proceedings (Lecture Notes in Computer Science)
by
Anil Nerode
,
M. Taitslin
(Editor)
0.00 avg rating — 0 ratings
— published 1992 —
2 editions
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logical Methods
by
Anil Nerode
,
Jeffrey B. Remmel
(Editor)
,
Moss E. Sweedler
(Editor)
0.00 avg rating — 0 ratings
— published 1993
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Lecture Notes in Computer Science, 620)
by
Anil Nerode
(Editor)
,
Mikhail Taitslin
0.00 avg rating — 0 ratings
— published 1992
Want to Read
saving…
Error rating book. Refresh and try again.
Rate this book
Clear rating
1 of 5 stars
2 of 5 stars
3 of 5 stars
4 of 5 stars
5 of 5 stars
More books by Anil Nerode…
Is this you?
Let us know.
If not, help out and
invite Anil to Goodreads.
Welcome back. Just a moment while we sign you in to your Goodreads account.