選択資料から書架並びで前後20冊ずつを表示します。
組合せ論トレイル = Combinatorics trail / 山田裕史著
書庫2階
ファジィ数学入門 : ソフトサイエンスの基礎と応用 / 山下元, 須田宏共著
書庫2階
ザデー・ファジィ理論 / ザデー [著] ; 菅野道夫, 向殿政男監訳
書庫2階
論理体系と代数モデル / 青山広, 愛知非古典論理研究会著
書庫2階
世界を満たす論理 : フレーゲの形而上学と方法 / 荒畑靖宏著
書庫2階
数理論理学 = Mathematical logic / 戸次大介著
書庫2階
コンピュ-タによる定理の証明 / Chin-Liang Chang,Richard Char-Tung Lee著 ; 長尾真,辻井潤一訳
書庫2階
数学における文法 / リンコルン・K.ダースト[著] ; 玉木和之訳
書庫2階
数理論理学 : 使い方と考え方 : 超準解析の入口まで / 江田勝哉著
書庫2階
論理学への数学的手引き / Herbert B. Enderton [著] ; 嘉田勝訳
書庫2階
数理パズルで楽しく学べる論理学 / 藤田憲悦著
書庫2階
現代数理論理学入門 / J.N.クロスリー他著 ; 田中尚夫訳
書庫2階
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
書庫2階