書誌情報:証明論と計算量
ショウメイロン ト ケイサンリョウ
竹内外史著
東京 : 裳華房 , 1995.11
vi, 205p ; 22cm

WebCatPlus を見る
CiNii Books を見る


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1 0中央２階
  • 410.1
  • Ta 67
  •  
00559880 利用可
一般 

選択行を：  

書誌詳細
刊年1995
形態vi, 205p ; 22cm
別書名Bounded arithmetic and computational complexity
出版国日本
標題言語日本語
本文言語日本語
著者情報竹内, 外史(1926-) (タケウチ, ガイシ)
分類NDC8:410.9
NDC7:410.1
NDLC:MA41
ISBN4785310960
件名BSH:数学基礎論
NDLSH:計算量理論
NCIDBN13445912
番号OTHN : JLA:95043513

WebCatPlus を見る    CiNii Books を見る
▲ページトップへ