北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

スウリ ギロン ガク

数理議論学 / 若木利子, 新田克己共著

データ種別 図書
出版者 東京 : 東京電機大学出版局
出版年 2017.3
著者標目 若木, 利子 <ワカキ, トシコ>
新田, 克己 <ニッタ, カツミ>

所蔵情報を非表示

配架場所 巻　次 請求記号 登録番号 状　態 コメント ISBN 刷　年 予約 利用注記
未来工学部(教養図書館BF)
410.96||W19 71134967
9784501555504

書誌詳細を非表示

大きさ vii, 190p : 挿図 ; 22cm
別書名 標題紙タイトル:Argumentation computation logic agent
件　名 NALSH:記号論理学
BSH:情報理論
BSH:会議・討論のしかた
一般注記 参考文献: p[182]-186
分　類 NDLC:MA41
NDC9:410.96
NDC8:007.1
NDC9:007.1
書誌ID BB10179390
本文言語 日本語
巻冊次 ISBN:9784501555504 ; PRICE:3600円+税
NCID BB23288372

類似資料

  1. 1 ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
  2. 2 数理パズルで楽しく学べる論理学 / 藤田憲悦著
  3. 3 記号論理学講義 : 基礎理論 束論と圏論 知識論 / 清水義夫著
  4. 4 Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化 / 萩原学, アフェルト・レナルド共著
  5. 5 記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳

検索結果一覧に戻る ページトップ

図書館サービス

利用者サービス