北里大学OPAC

ようこそ  ゲスト さん

簡易検索: +詳細検索

検索結果一覧に戻る


他の検索サイト

スウリ ロンリガク : ゴウリテキ エージェント エノ オウヨウ ニ ムケテ

数理論理学 : 合理的エージェントへの応用に向けて / 加藤暢, 高田司郎, 新出尚之共著

データ種別 図書
出版者 東京 : コロナ社
出版年 2014.10
著者標目 加藤, 暢(工学) <カトウ, トオル>
高田, 司郎 <タカタ, シロウ>
新出, 尚之 <ニイデ, ナオユキ>

所蔵情報を非表示

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

書誌詳細を非表示

大きさ x, 210p : 挿図 ; 21cm
別書名 奥付タイトル:Mathematical logic for rational agents
件　名 BSH:記号論理学
一般注記 引用・参考文献: p[206]-207
分　類 NDC8:410.96
NDC9:410.96
書誌ID BB10179040
本文言語 日本語
巻冊次 ISBN:9784339024890 ; PRICE:2800円+税
NCID BB16884051

類似資料

  1. 1 論理数学 / 太原育夫著
  2. 2 学んでみよう!記号論理 / 高崎金久著
  3. 3 数理論理学 = Mathematical logic / 戸次大介著
  4. 4 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
  5. 5 スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 上巻

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

図書館サービス

利用者サービス