このページのリンク

利用統計

  • このページへのアクセス:3回

  • 貸出数:25回
    (1年以内の貸出数:0回)

<図書>
証明論と計算量
ショウメイロン ト ケイサンリョウ

責任表示 竹内外史著
データ種別 図書
出版者 東京 : 裳華房
出版年 1995.11
本文言語 日本語
大きさ vi, 205p ; 22cm

所蔵情報


理系図1F 開架 003112003019246 410.9/Ta 67 1995

理系図1F 開架 068251195006575 410.9/Ta 67 1995

理系図3F 数理独自 023111999000713 TAKE/110/10 1995.11

書誌詳細

別書名 標題紙タイトル:Bounded arithmetic and computational complexity
著者標目 竹内, 外史(1926-) <タケウチ, ガイシ>
件 名 BSH:数学基礎論
NDLSH:計算量理論
分 類 NDC8:410.9
NDC7:410.1
NDLC:MA41
書誌ID 1001100801
ISBN 4785310960
NCID BN13445912
巻冊次 ISBN:4785310960 ; PRICE:3605円
登録日 2009.09.17
更新日 2009.09.17

類似資料

この資料を借りた人はこんな資料も借りています