このページのリンク

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

データ種別 図書
出版者 東京 : 裳華房
出版年 1995.11
大きさ 205p ; 22cm

所蔵情報を非表示


ASRS 411/Ta67sh 04752832
4785310960

書誌詳細を非表示

著者標目 竹内, 外史 <タケウチ,ガイシ>
件 名 数学基礎論
分 類 NDC:411
書誌ID 1001200266
ISBN 4785310960
NCID BN13445912 WCLINK

 類似資料