ログイン
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
新着案内
貸出ランキング
アクセスランキング
レビュー一覧
タグ検索
参照ランキング
Webサービス ▼
利用状況・貸出延長
ブックマーク
お気に入り検索
レビュー履歴
タグ履歴
グループ学習室予約履歴
新着アラート
ILL複写依頼
ILL貸借依頼
リクエスト(希望図書)
≡
書誌詳細
愛媛大学図書館
検索結果一覧へ戻る
計算論理と人間の思考 : 推論AIへの論理的アプローチ
ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳. -- 九夏社, 2025. <BB30367964>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
計算論理と人間の思考 : 推論AIへの論理的アプローチ
ロバート・コワルスキ著 ; 尾崎竜史, 伊藤武芳訳. -- 九夏社, 2025. <BB30367964>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
状態
返却予定日
予約
0001
中央館
3F-東
410.96/KO
0312025028804
通常
0件
No.
0001
巻号
所蔵館
中央館
配置場所
3F-東
請求記号
410.96/KO
資料ID
0312025028804
状態
通常
返却予定日
予約
0件
このページのTOPへ
レビュー
このページのTOPへ
書誌詳細
標題および責任表示
計算論理と人間の思考 : 推論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 <AU10032675> 著者
著者標目リンク
尾崎, 竜史
オザキ, リュウシ <> 訳者
著者標目リンク
伊藤, 武芳
イトウ, タケヨシ <> 訳者
著者標目リンク
坂間, 千秋||サカマ, チアキ <AU10186240> 訳者
分類標目
数学 NDC9:410.96
分類標目
数学 NDC10:410.96
分類標目
科学技術 NDLC:M121
分類標目
情報学.情報科学 NDC10:007
件名標目等
記号論理学||キゴウロンリガク
件名標目等
人工知能||ジンコウチノウ
件名標目等
情報科学||ジョウホウカガク
件名標目等
記号論理学||キゴウロンリガク
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
著者からさがす
Kowalski, Robert
坂間, 千秋
分類からさがす
数学 NDC9:410.96
数学 NDC10:410.96
科学技術 NDLC:M121
情報学.情報科学 NDC10:007
件名からさがす
記号論理学
人工知能
情報科学
記号論理学
他の検索サイトで探す
SFX
Google Books
Knowledge Worker
WorldCat
NDLSearch
CiNii Books
カーリル
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
資料を取り寄せる
コピーの取り寄せ(コピー取り寄せ)
図書の取り寄せ(現物借用)
購入依頼
追加購入依頼
この書誌のQRコード