資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 計算論理学入門 AIとコンピュータサイエンスへの論理的アプローチ

赤間 世紀／著 -- 啓学出版 -- 1992.12 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /4101/3026/92 1125630769 Digital BookShelf
1993/01/18 可能（館内閲覧） 利用可   0

5月16日（金）から7月上旬まで、Eメールによる郵送複写申込の受付を停止します。
郵送複写は電話・手紙でお申込みください。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7665-1159-X
タイトル 計算論理学入門
タイトルカナ ケイサン ロンリガク ニュウモン
タイトル関連情報 AIとコンピュータサイエンスへの論理的アプローチ
タイトル関連情報読み エーアイ ト コンピュータ サイエンス エノ ロンリテキ アプローチ
著者名 赤間 世紀 ／著
著者名典拠番号

110001859860000

出版地 東京
出版者 啓学出版
出版者カナ ケイガク シュッパン
出版年 1992.12
ページ数 319p
大きさ 22cm
価格 ¥4369
内容紹介 AIを含むコンピュータサイエンスのための論理学の入門書。論理学の基本的事項、およびそれがAIを含むコンピュータサイエンスにどう応用されているのかを解説し、今後の研究の可能性を示唆する。
一般件名 記号論理学
一般件名カナ キゴウ ロンリガク
一般件名典拠番号

510630200000000

分類：都立NDC10版 410.96
資料情報1 『計算論理学入門 AIとコンピュータサイエンスへの論理的アプローチ』　赤間 世紀／著 　啓学出版　1992.12（所蔵館：中央　 請求記号：/4101/3026/92　 資料コード：1125630769）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1101938244

ページの先頭へ