この情報を出力する

このページのリンク

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

データ種別 図書
出版情報 東京 : 裳華房 , 1995.11
本文言語 日本語
大きさ vi, 205p ; 22cm
目次/あらすじ

所蔵情報を非表示

図書館/第3書庫 410.9/T
00859942

4785310960

書誌詳細を非表示

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

 類似資料