資料詳細

  • 1 件中、 1 件目

コンピュータによる定理の証明 貸出可

Chin‐Liang Chang／著 -- 日本コンピュータ協会 -- 1983 -- 410.96

所蔵

所蔵件数は 1 件です。現在の予約件数は 0 件です。

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
地下書庫 /007.6/T/ 110041514 成人一般 可能 iLisvirtual

ページの先頭へ

資料詳細

タイトル コンピュータによる定理の証明
タイトルカナ コンピュータ ニ ヨル テイリ ノ ショウメイ
叢書名 コンピュータ・サイエンス研究書シリーズ
著者 Chin‐Liang Chang ／著, Richard Char‐Tung Lee ／著, 長尾 真 ／訳, 辻井 潤一 ／訳  
著者カナ チャング チン・リァング,リー リチャード・チャー・トゥング,ナガオ マコト,ツジイ ジュンイチ
出版者 日本コンピュータ協会
出版年 1983
ページ数 346p
大きさ 22cm
一般件名 記号論理学 , 人工知能
分類記号 410.96

ページの先頭へ