Logical methods : in honor of Anil Nerode's sixtieth birthday
Author(s)
Bibliographic Information
Logical methods : in honor of Anil Nerode's sixtieth birthday
（Progress in computer science and applied logic, v. 12）
Birkhäuser, 1993
- : us
- : sz
Available at / 16 libraries
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science図書
: usdc20:511/l8292070293450
-
No Libraries matched.
- Remove all filters.
Note
"A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University 1-3 June 1992" -- Pref
Includes bibliographical references
