愛知工業大学附属図書館

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

ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳. -- 九夏社, 2025. <BB00275407>
書誌URL:

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

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 図書館 2階 410.96||K 004792388 書架 0件
No. 0001
巻号
所蔵館 図書館
配置場所 2階
請求記号 410.96||K
資料ID 004792388
状態 書架
返却予定日
予約 0件

書誌詳細

標題および責任表示 計算論理と人間の思考 : 推論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 <AU00013040> 著者
著者標目リンク 尾崎, 竜史
オザキ, リュウシ <> 訳者
著者標目リンク 伊藤, 武芳
イトウ, タケヨシ <> 訳者
著者標目リンク 坂間, 千秋||サカマ, チアキ <AU00107910> 訳者
分類標目 数学 NDC9:410.96
分類標目 数学 NDC10:410.96
分類標目 科学技術 NDLC:M121
分類標目 情報学.情報科学 NDC10:007
件名標目等 記号論理学||キゴウロンリガク
件名標目等 人工知能||ジンコウチノウ
件名標目等 情報科学||ジョウホウカガク
件名標目等 記号論理学||キゴウロンリガク