江戸大OPACを検索します。
他大学を検索します。
CiNii Researchを検索します。
IRDB(国内リポジトリ)を検索します。
国立国会図書館を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #林 晋)
該当件数:3件
プログラム検証論 / 林晋著
東京 : 共立出版 , 1995.9. - (情報数学講座 ; 8)
図書
パラドックス! = paradox! / 林晋編著
東京 : 日本評論社 , 2000.7
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)