Anil Nerode

Born 1932-01-01

Identifiers

Open LibraryOL542146A

Top Subjects

Logic programming (2)
Logic, Symbolic and mathematical (1)
Symbolic and mathematical Logic (1)
Anil Nerode (1932-) (1)
Artificial intelligence (1)
Computer Science (1)
Machine theory (1)

Books by Anil Nerode

Total count: 6

Logical Foundations of Computer Science--Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992Proceedings (Lecture Notes in Computer Science)

Springer1992-07-01
Logic for applications

Springer-Verlag1993-01-01
Logical methodsin honor of Anil Nerode's sixtieth birthday

Springer1993-01-01
Logical Foundations of Computer ScienceThird International Symposium, Lfcs '94 St. Petersburg, Russia, July 11-14, 1994 Proceedings (Lecture Notes in Computer Science)

Springer1994-06-01
Logic Programming and Nonmonotonic Reasoning: Third International Conference, Lpnmr '95 Lexington, Ky, Usa, June 26-28, 1995 Proceedings (Lecture Notes in Computer Science)

Springer1995-06-01
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))1 edition

Birkhäuser Boston2001-06-08