コンピュータによる定理の証明 (コンピュータ・サイエンス研究書シリーズ ; 27)
図書館・個人送信サービスを利用する
収録元データベースで確認する
国立国会図書館デジタルコレクション
国立国会図書館の登録利用者（本登録）の方を対象とした、個人送信サービスで閲覧可能です。ただし、日本国外に居住している場合は、個人送信サービスを利用できません。
書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
千葉県立中央図書館
紙- 請求記号：
- 4101/C33/
- 図書登録番号：
- 9102991693
東京都立多摩図書館
紙- 請求記号：
- 4101-51-83
- 図書登録番号：
- 1122925387
神奈川県立川崎図書館
紙- 請求記号：
- 411.1-C
- 図書登録番号：
- 70666359
横浜市立図書館
紙- 請求記号：
- 410.993
- 図書登録番号：
- 0003580091
東海・北陸
岐阜県図書館
紙- 請求記号：
- 410.1-チ
- 図書登録番号：
- 8120529628
書店で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- タイトル
- タイトルよみ
- コンピュータ ニ ヨル テイリ ノ ショウメイ
- 著者・編者
- Chin-Liang Chang, Richard Char-Tung Lee 著長尾真, 辻井潤一 訳
- シリーズタイトル
- 著者標目
- 長尾, 真, 1936-2021 ナガオ, マコト, 1936-2021 ( 00104393 )典拠辻井, 潤一, 1949- ツジイ, ジュンイチ, 1949- ( 00146150 )典拠
- 出版事項
- 出版年月日等
- 1983.9
- 出版年（W3CDTF）
- 1983
- 数量
- 346p