検索結果書誌詳細

  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

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

著者名 Chin‐Liang Chang/著
著者名ヨミ Chin Liang Chang
出版者 日本コンピュータ協会
出版年月 1983


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 中央図書館一般書庫4101/C33/9102991693一般在庫 

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000000847732
書誌種別 図書
書名 コンピュータによる定理の証明 
書名ヨミ コンピュータ ニ ヨル テイリ ノ ショウメイ
叢書名 コンピュータ・サイエンス研究書シリーズ
叢書番号 27
言語区分 日本語
著者名 Chin‐Liang Chang/著   Richard Char‐Tung Lee/著   長尾 真/訳   辻井 潤一/訳
著者名ヨミ Chin Liang Chang Richard Char Tung Lee ナガオ マコト ツジイ ジュンイチ
著者名原綴 Chang Chin‐Liang Lee Richard Char‐Tung
出版地 東京
出版者 日本コンピュータ協会
出版年月 1983
本体価格 ¥6000
数量 346p
大きさ 22cm
分類記号 410.96
件名 記号論理学   人工知能
注記 原タイトル:Symbolic logic and mechanical theorem proving
注記 文献:章末,p323~338



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

Chin‐Liang Chang Richard Char‐Tung Lee 長尾 真 辻井 潤一
1983
410.96
記号論理学 人工知能
前のページへ

本文はここまでです。


ページの終わりです。