Hybrid Systems (Lecture Notes in Computer Science (736))R.Ł. Grossman, A. Nerode & 6 more1993PDF24 MBEN
Logical Foundations of Computer Science - Tver '92Dimitry A. Archangelsky, Mikhail A. Taitslin (auth.), Anil Nerode1992PDF8.4 MBEN
Principles of Logic and Logic Programming (Volume 13) (Studies in Computer Science and Artificial Intelligence, Volume 13)G. Metakides and A. Nerode1996PDF10 MBEN