検索条件入力 ＞ 検索結果一覧：（本学所蔵） ＞ Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder
書誌詳細
  

NCIDBA4760749X
タイトルComputability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder / Peter A. Cholak, Steffen Lempp, Manuel Lerman, Richard A. Shore, editors
出版者Providence, R.I. : American Mathematical Society , c2000
形態xvi, 320 p. : ill. ; 26 cm
注記Includes bibliographical references
シリーズ名Contemporary mathematics ; v. 257
分類DC21:511.3
LCC:QA9.59.C66
件名LCSH:Computablefunctions -- Congresses
著者情報AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications
Cholak, Peter, 1962-
Lempp, Steffen, 1959-
Lerman, M. (Manuel), 1943-
Shore, Richard A., 1946-
和洋区分洋
標題言語英語
本文言語英語
出版国アメリカ合衆国
ISBN0821819224
WebCatPlus を見る    CiNii Books を見る
所蔵一覧
巻号予約予約人数所在請求記号資料ID状態備考
1 0理数学418:C028002545 研究室  

選択行を：  

▲ページトップへ