このページのリンク

ショウメイロン ト ケイサンリョウ
証明論と計算量 / 竹内外史著

データ種別 図書
出版者 東京 : 裳華房
出版年 1995.11
本文言語 日本語
大きさ vi, 205p ; 22cm

所蔵情報を非表示

2F図書 (自然科学・技術・産業・芸術)
410.1||Ta67 9950052613
4785310960

書誌詳細を非表示

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