神戸女子大学・神戸女子短期大学図書館の所蔵を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
国内の学協会誌や研究紀要などを中心とした論文等を検索できます。
国立情報学研究所(NII)が提供する日本国内の論文の検索データベースです。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: MA41)
該当件数:8件
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
京都 : ミネルヴァ書房 , 1981.2
図書
離散最適化法とアルゴリズム / 茨木俊秀著
第2刷. - 東京 : 岩波書店 , 1998.8. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 8)
確率的方法とシミュレーション / 伏見正則著
第2刷. - 東京 : 岩波書店 , 1998.7. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 10)
計算代数と計算幾何 / 佐々木建昭 [ほか] 著
第2刷. - 東京 : 岩波書店 , 1998.11. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 方法 ; 9)
ファジィ--「あいまい」の科学 / 向殿政男, 本多中二著
東京 : 岩波書店 , 1990.11. - (New science age ; 40)
数学における文法 / リンコルン・K.ダースト[著] ; 玉木和之訳
東京 : 明治図書出版 , 1975.3. - (海外名著選 ; 59)
ファジイ理論とその応用 / 水本雅晴著
東京 : サイエンス社 , 1988.2. - (Information & computing ; 19)
論理と計算 / 萩谷昌己著
第2刷. - 東京 : 岩波書店 , 1999.3. - (岩波講座応用数学 / 甘利俊一 [ほか] 編集 ; . 基礎 ; 11)