Anil Nerode

AN

11 featured booksAnil Nerode

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL542146A

Featured books

Representative editions for works actually authored by this person.

AT
Image source: Open Library
Automata theory and its applications
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS)) | 2001
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logic for applications
Logic for applications | 1997
Representative edition for this work grouping in the active catalog.
cover
LP
Image source: Open Library
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 | 1995
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logical foundations of computer science
Logical foundations of computer science | 1994
Representative edition for this work grouping in the active catalog.
cover
LP
Image source: Open Library
Logic programming and non-monotonic reasoning
Logic Programming and Non-Monotonic Reasoning | 1993
Representative edition for this work grouping in the active catalog.
cover
LM
Image source: Open Library
Logical methods
Logical Methods | 1993
Representative edition for this work grouping in the active catalog.
cover
LM
Image source: Open Library
Logical methods
Logical methods | 1993
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logical foundations of computer science--Tver '92
Logical Foundations of Computer Science - Tver '92 | 1992
Representative edition for this work grouping in the active catalog.
cover
LF
Image source: Open Library
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992 | 1992
Representative edition for this work grouping in the active catalog.
cover
LP
Image source: Open Library
Logic programming and non-monotonic reasoning
Logic programming and non-monotonic reasoning | 1991
Representative edition for this work grouping in the active catalog.
cover
Logical Foundations of Computer...Anil Nerode
LF
Logical Foundations of Computer Science
Logical Foundations of Computer Science | 1994
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Automata theory and its applications
Representative edition published 2001
Open Work
Logic for applications
Representative edition published 1997
Open Work
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995
Representative edition published 1995
Open Work
Logical foundations of computer science
Representative edition published 1994
Open Work
Logic programming and non-monotonic reasoning
Representative edition published 1993
Open Work
Logical methods
Representative edition published 1993
Open Work
Logical methods
Representative edition published 1993
Open Work
Logical foundations of computer science--Tver '92
Representative edition published 1992
Open Work
Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992
Representative edition published 1992
Open Work
Logic programming and non-monotonic reasoning
Representative edition published 1991
Open Work
Logical Foundations of Computer Science
Representative edition published 1994
Open Work

Anil Nerode

Overview

Catalog identity

Featured books

Works in catalog