国文学研究資料館の所蔵を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
NDLサーチを検索します。
IRDBを検索します。
国文学研究資料館の蔵書を検索した結果です。
検索キーワード:(標準分類: MA41)
該当件数:5件
基本的算法 / 野下浩平, 高岡忠雄, 町田元 [著]
東京 : 岩波書店 , 1983.4. - (岩波講座情報科学 ; 10)
図書 <1000061996> [BN00057772]
論理と意味 / 長尾真, 淵一博 [著]
東京 : 岩波書店 , 1983.1. - (岩波講座情報科学 ; 7)
図書 <1000062098> [BN00245681]
離散数学 / 高橋磐郎, 藤重悟 [著]
東京 : 岩波書店 , 1981.11. - (岩波講座情報科学 ; 17)
図書 <1000062100> [BN00246298]
プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
東京 : サイエンス社 , 1987.12. - (Information & computing ; 18)
図書 <1000063522> [BN01883796]
数学の基礎 / [L.ウィトゲンシュタイン著] ; 中村秀吉, 藤田晋吾訳
東京 : 大修館書店 , 1976.5. - (ウィトゲンシュタイン全集 ; 7)
図書 <1000249666> [BN00413243]