城西国際大学を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #林 晋)
該当件数:8件
パラドックス! = paradox! / 林晋編著
東京 : 日本評論社 , 2000.7
図書
プログラム検証論 / 林晋著
東京 : 共立出版 , 1995.9. - (情報数学講座 ; 8)
数理論理学 / 林晋 著
東京 : コロナ社. - (コンピュータ数学シリーズ * * ; 3)
構成的プログラミングの基礎 / 林晋,小林聡 共著
東京 : 遊星社
論理パズルとパズルの論理 / 八杉満利子, 林晋共著
東京 : 遊星社. - 東京 : 星雲社 (発売) , 1998.7. - (アウト・オブ・コース ; 7)
情報系の数学入門 / 林晋, 八杉満利子共著
東京 : オーム社 , 1993.9
不完全性定理 / ゲーデル [著] ; 林晋, 八杉満利子訳・解説
東京 : 岩波書店 , 2006.9. - (岩波文庫 ; 青(33)-944-1)
はじめて学ぶ保険のしくみ / 家森信善編著 ; 浅井義裕, 小林毅, 林晋著
第2版. - 東京 : 中央経済社 , 2015.3