検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵） ＞ Dense sphere packings : a blueprint for formal proofs
書誌詳細
  

NCIDBB10197310
タイトルDense sphere packings : a blueprint for formal proofs / Thomas C. Hales
出版者Cambridge : Cambridge University Press , 2012
形態xiv, 271 p. : ill. ; 23 cm
注記Includes bibliographical references (p. [261]-263) and indexes
シリーズ名London Mathematical Society lecture note series ; 400
分類LCC:QA166.7
DC23:511.6
件名LCSH:Spherepackings
著者情報Hales, Thomas Callister
和洋区分洋
標題言語英語
本文言語英語
出版国イギリス
ISBN9780521617703(: pbk)
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1: pbk0理数学411.2:H212300270 研究室  

選択行を：  

▲ページトップへ