ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
ショウメイロン ト ケイサンリョウ
証明論と計算量 / 竹内外史著
データ種別
図書
出版者
東京 : 裳華房
出版年
1995.11
本文言語
日本語
大きさ
vi, 205p ; 22cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.9/TA67
080005757
4785310960
図書(消耗品)
書誌詳細を非表示
別書名
標題紙タイトル:Bounded arithmetic and computational complexity
著者標目
竹内, 外史(1926-)
<タケウチ, ガイシ>
件 名
BSH:
数学基礎論
NDLSH:
計算量理論
分 類
NDC8:
410.9
NDC7:
410.1
NDLC:
MA41
書誌ID
1000046207
ISBN
4785310960
類似資料
1
計算の理論 / 笠井琢美, 戸田誠之助著
2
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
3
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
4
構造的計算量理論 / J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳
5
計算論 : 計算可能性とラムダ計算 / 高橋正子著
6
計算可能性・計算の複雑さ入門 / 渡辺治著
7
数学・基礎の基礎 / 廣瀬健著
8
PとNP : 計算量の根本問題 / 竹内外史著
9
ファジィ数理と応用 / Arnold Kaufmann, Madan M.Gupta共著 ; 田中英夫監訳 ; 松岡浩訳
10
ファジィモデリングとその応用 / 田中英夫著
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC