この文献を取り寄せる

このページのリンク

証明論と計算量 / 竹内外史著

データ種別 図書
出版者 東京 : 裳華房
出版年 1995.11
形態 vi,205p ; 22cm
別書名 標題紙タイトル:Bounded arithmetic and computational complexity
著者標目 竹内, 外史(1926-)
件 名 BSH:数学基礎論
分 類 NDC:410.1
書誌ID LT00490547

所蔵情報を非表示


中央自動書庫 410.1/TA67/7 0110130750009 9784785310967





中央自動書庫 410.1/TA67/7+2 0110130760004 9784785310967




書誌詳細を非表示

本文言語 日本語
NCID BN13445912
巻冊次 ISBN:4785310960
目次/あらすじ

 類似資料