東京都立大学図書館

計算論理と人間の思考 : 推論AIへの論理的アプローチ

ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳. -- 九夏社, 2025. <BB02442012>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 日野館 日野:一般図書 20002096643 /410.96/Ko 0件
No. 0001
巻号
所蔵館 日野館
配置場所 日野:一般図書
資料ID 20002096643
請求記号 /410.96/Ko
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 計算論理と人間の思考 : 推論AIへの論理的アプローチ / ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳
ケイサン ロンリ ト ニンゲン ノ シコウ : スイロン AI エノ ロンリテキ アプローチ
出版・頒布事項 東京 : 九夏社 , 2025.3
形態事項 xxii, 438p : 挿図 ; 21cm
巻号情報
ISBN 9784909240064
その他の標題 原タイトル:Computational logic and human thinking : how to be artificially intelligent
注記 表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
注記 監訳: 坂間千秋
注記 文献: p417-423
学情ID BD11135266
本文言語コード 日本語
著者標目リンク Kowalski, Robert <AU00557024> 著者
著者標目リンク 尾崎, 竜史
オザキ, リュウシ <> 訳者
著者標目リンク 伊藤, 武芳
イトウ, タケヨシ <> 訳者
著者標目リンク 坂間, 千秋||サカマ, チアキ <AU00828938> 訳者
分類標目 数学 NDC9:410.96
分類標目 数学 NDC10:410.96
分類標目 科学技術 NDLC:M121
分類標目 情報学.情報科学 NDC10:007
件名標目等 記号論理学||キゴウロンリガク
件名標目等 人工知能||ジンコウチノウ
件名標目等 情報科学||ジョウホウカガク
件名標目等 記号論理学||キゴウロンリガク