Logical methods : in honor of Anil Nerode's sixtieth birthday
著者
書誌事項
Logical methods : in honor of Anil Nerode's sixtieth birthday
（Progress in computer science and applied logic, v. 12）
Birkhäuser, 1993
- : us
- : sz
大学図書館所蔵 件 / 全16件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"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