放送大学附属図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用状況照会・申込 利用状況照会・申込▼
    • 貸出予約状況照会
    • ブックマーク
    • お気に入り検索
    • ILL複写依頼(有料サービス)
    • ILL貸借依頼(有料サービス)
    • 学生図書リクエスト
  • 自宅配送カート
  • 予約カート
  • 閲覧履歴
  • 検索履歴
  • cap_language}

放送大学附属図書館

検索結果一覧へ戻る

Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997

editors Marat M. Arslanov, Steffen Lempp ; : alk. paper. -- Walter de Gruyter, 1999. -- (De Gruyter series in logic and its applications ; 2). <BB00178218>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997

editors Marat M. Arslanov, Steffen Lempp ; : alk. paper. -- Walter de Gruyter, 1999. -- (De Gruyter series in logic and its applications ; 2). <BB00178218>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約
0001 (alk. paper) 本部 研究室 410.9/D53/2 11115487342 研究室 0件
No. 0001
巻号 (alk. paper)
所蔵館 本部
配置場所 研究室
請求記号 410.9/D53/2
資料ID 11115487342
状態 研究室
返却予定日
予約 0件
このページのTOPへ

書誌詳細

標題および責任表示 Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997 / editors Marat M. Arslanov, Steffen Lempp
出版・頒布事項 Berlin : Walter de Gruyter , 1999
形態事項 viii, 239 p. ; 25 cm
巻号情報
巻次等 : alk. paper
ISBN 3110165872
書誌構造リンク De Gruyter series in logic and its applications <BB00178231> 2//a
注記 "This volume contains the proceedings of the International Workshop 'Recursion Theory and Complexity Theory' (WORCT'97), which was held from July 14 to July 19, 1997 at Kazan State University, Kazan, Tatarstan, Russia" -- Pref
学情ID BA4281581X
本文言語コード 英語
著者標目リンク *Kazan '97 Workshop (1997 : Kazanʹ, Russia) <>
著者標目リンク Arslanov, M. M. (Marat Mirzaevich) <AU10020356>
著者標目リンク Lempp, Steffen, 1959- <AU00024058>
分類標目 LCC:QA9.6
分類標目 DC21:511.3/5
件名標目等 Recursion theory Congresses
件名標目等 Computational complexity Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)