ログイン
目録検索 ▼
検索トップへ
分類検索
雑誌タイトルリスト
新着案内
貸出ランキング
レビュー一覧
タグ検索
利用者サービス ▼
利用状況の確認
ブックマーク
お気に入り検索
レビュー履歴
タグ履歴
≡
書誌詳細
神奈川工科大学附属図書館
検索結果一覧へ戻る
定理証明手習い
Daniel P. Friedman, Carl Eastlund著. -- ラムダノート, 2017. <BB01266825>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
定理証明手習い
Daniel P. Friedman, Carl Eastlund著. -- ラムダノート, 2017. <BB01266825>
登録タグ:
登録されているタグはありません
便利機能:
エクスポート先選択
エクスポート先を選択してください。
このウインドウを閉じる
レビューを見る
詳細情報を見る
書誌URL:
所蔵一覧
1件~1件(全1件)
ナンバーをクリックすると所蔵詳細をみることができます。
10件
20件
50件
100件
No.
巻号
所蔵館
配置場所
請求記号
資料ID
状態
返却予定日
予約
0001
図書館
2階書架
007.64||F
112075247
0件
No.
0001
巻号
所蔵館
図書館
配置場所
2階書架
請求記号
007.64||F
資料ID
112075247
状態
返却予定日
予約
0件
このページのTOPへ
レビュー
このページのTOPへ
書誌詳細
標題および責任表示
定理証明手習い / Daniel P. Friedman, Carl Eastlund著
テイリ ショウメイ テナライ
出版・頒布事項
東京 : ラムダノート , 2017.10
形態事項
xiv, 220p : 挿図 ; 21cm
巻号情報
ISBN
9784908686023
その他の標題
原タイトル:The little prover
注記
中野圭介監訳
注記
索引あり
注記
原著(MIT Press, c2015)の翻訳
注記
訳者(監訳者序文による): 鹿野桂一郎
学情ID
BB24952022
本文言語コード
日本語
著者標目リンク
*Friedman, Daniel P. <AU00020352>
著者標目リンク
*Eastlund, Carl <AU00047484>
著者標目リンク
中野, 圭介
ナカノ, ケイスケ <> 監訳
著者標目リンク
鹿野, 桂一郎||シカノ, ケイイチロウ <AU00047485>
件名標目等
証明 (数学)||ショウメイ (スウガク)
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ
関連情報<<
関連情報
関連資料
著者からさがす
*Friedman, Daniel P.
*Eastlund, Carl
鹿野, 桂一郎
件名からさがす
証明 (数学)
他の検索サイトで探す
cinii
NDL
WEB STORE
WorldCat
他大学資料確認
他大学(NII):同一条件検索
他大学(NII):同一書誌検索
この書誌のQRコード