資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 証明論と計算量

竹内 外史／著 -- 裳華房 -- 1995.11 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /4101/3049/95 1127931725 Digital BookShelf
1995/12/11 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7853-1096-0
タイトル 証明論と計算量
タイトルカナ ショウメイロン ト ケイサンリョウ
著者名 竹内 外史 ／著
著者名典拠番号

110000598420000

出版地 東京
出版者 裳華房
出版者カナ ショウカボウ
出版年 1995.11
ページ数 205p
大きさ 22cm
価格 ¥3500
内容紹介 1.多項式時間で計算できる関数 2.限定算術 3.超数字の形式化と不完全性定理 4.PHPと数え上げ原理
一般件名 数学基礎論
一般件名カナ スウガク キソロン
一般件名典拠番号

511035000000000

分類：都立NDC10版 410.9
資料情報1 『証明論と計算量』　竹内 外史／著 　裳華房　1995.11（所蔵館：中央　 請求記号：/4101/3049/95　 資料コード：1127931725）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1102228994

ページの先頭へ