このページのリンク

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

所蔵情報を非表示

科学文化論(品)
410.1/Ta67 0095025278 9502527

書誌詳細を非表示

出版情報 東京 : 裳華房 , 1995.11
大きさ vi, 205p ; 22cm
別書名 標題紙タイトル:Bounded arithmetic and computational complexity
著者標目  竹内, 外史(1926-) <タケウチ, ガイシ>
件 名 BSH:数学基礎論
NDLSH:計算量理論
分 類 NDC8:410.9
NDC7:410.1
NDLC:MA41
本文言語 日本語
書誌ID TW00044275
ISBN 4785310960
NCID BN13445912
巻冊次 ISBN:4785310960 ; PRICE:3605円
目次/あらすじ

 類似資料