Computability, enumerability, unsolvability : directions in recursion theory

関連文献: 1件

著者

書誌事項

edited by S.B. Cooper, T.A. Slaman, S.S. Wainer

（London Mathematical Society lecture note series, 224）

Cambridge University Press, 1996

大学図書館所蔵件 / 全74件

会津大学情報センター (附属図書館)図

QA9.6.C66 1996

OPAC
青山学院大学万代記念図書館(相模原分館)

779500271

OPAC
茨城大学附属図書館図

410:Lon:224119612493

OPAC
愛媛大学図書館

410.9||CO011219505830

OPAC
大阪教育大学附属図書館

510.4/Lo/224B9500911

OPAC
大阪公立大学杉本図書館理

410.8//L84//757515100075751

OPAC
大阪大学附属図書館総合図書館

12200061625

OPAC
岡山大学附属図書館工情報

410.8||LH019000078198*

OPAC
岡山大学附属図書館自システム

410.8||L019000077960*

OPAC
鹿児島国際大学附属図書館図

410.1//C50002005175

OPAC
金沢大学附属図書館研究室

410.9:C7389500-52877-0

OPAC
金沢大学附属図書館研究室

9600-52014-3(計算数理)

OPAC
学習院大学図書館数学図

510||412||22400415795

OPAC
九州大学理系図書館

410.9/C 87026211996002428

OPAC
京都大学数理解析研究所図書室数研

S||LMS||22495063637

OPAC
京都大学吉田南総合図書館研究室

: pbk410.8||L||496032204

OPAC
京都大学理学部数学

Ser.||E 18||80-2595075355

OPAC
近畿大学中央図書館中図

410.12-C8510346080

OPAC
岐阜大学図書館

OPAC
熊本大学附属図書館工(数学)

410.9||C,85||||08-82810251250

OPAC
熊本大学附属図書館理(数学)

410.9||C,85||||07-319210242530

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

410.9:C87209600522

OPAC
群馬大学総合情報メディアセンター理工学図書館研究室

410.9:C87209600522

OPAC
高知大学学術情報基盤図書館中央館

2:15533310

OPAC
神戸大学附属図書館自然科学系図書館

410-4-10//224h039600000909*

OPAC
公立諏訪東京理科大学図書館図

412||C 8793027054

OPAC
国際基督教大学図書館図

411/C85704740123

OPAC
埼玉大学図書館数学

410.9:CY5058153

OPAC
佐賀大学附属図書館図

410.9-C 85129801288

OPAC
静岡大学附属図書館静図

410.8/L84/2240096013032

OPAC
静岡大学附属図書館浜松分館浜図

410.8/L84/2240096036892

OPAC
湘南工科大学附属図書館

Z36600

OPAC
信州大学附属図書館中央図書館理

40020149605

OPAC
専修大学図書館図

20409137

OPAC
千葉大学附属図書館研

095150151

OPAC
中央大学中央図書館院

510/C7300015780638

OPAC
筑波大学附属図書館中央図書館

410.8-L84-224100957026969

OPAC
東海大学付属図書館12

410.8/L/22401916081

OPAC
東京学芸大学附属図書館数学

19603963

OPAC
東京大学柏図書館数物

M:Cooper8950062599

OPAC
東京大学数理科学研究科保存一研

RO:Computabil8010132804

OPAC
東京大学数理科学研究科図書

RO:Co8010133372,8010133380

OPAC
東京電機大学総合メディアセンター千住センター

410/C-39/11095008017

OPAC
東京電機大学総合メディアセンター鳩山センター

410/L-84/2240521557364

OPAC
東北大学附属図書館本館

06000007190

OPAC
東北大学附属図書館北青葉山分館図

02950017876

OPAC
東北大学附属図書館工学分館情報

03950031782

OPAC
徳島大学附属図書館

410.7||Lo||22496100400

OPAC
豊田工業高等専門学校図書館

007.6/C,007.6||C0:0067586,0067586

OPAC
長崎大学附属図書館

410.8||71||2241450285

OPAC
名古屋工業大学図書館

410.8||L 84||22495201750

OPAC
名古屋大学工学図書室工情報

410.9||C41166872

OPAC
名古屋大学理学図書室理数理

P||ENG||94-C||3453741149683

OPAC
新潟大学附属図書館図

410.8//L84//2241970277694

OPAC
日本大学文理学部図書館数情

410.8||L84||22414901939

OPAC
日本大学文理学部図書館数情

410.8||L84||22414952106

OPAC
一橋大学附属図書館図

4100:82:224229501120M

OPAC
弘前大学附属図書館本館

410.8||L84||22406447436

OPAC
広島国際大学図書館呉分館呉図

410.9||C30168073

OPAC
広島市立大学附属図書館

410.9CO0001715156

OPAC
広島大学図書館中央図書館

410.9:C-85/HL4010004000404448

OPAC
広島大学図書館西図書館

410.9:C-85/HL1050SU1030407391

OPAC
福岡教育大学学術情報センター図書館図

410.12||C852195008323

OPAC
福岡大学図書館

11036536

OPAC
福山大学附属図書館

129903504

OPAC
北陸先端科学技術大学院大学附属図書館研究科

C22.6/ C /1:5960278

OPAC
北海道大学大学院理学研究科・理学部図書室図書

511.35/C7932070352520

OPAC
北海道大学附属図書館図

511.35/C7870571016113

OPAC
三重大学附属図書館

410.8/L 84/22469513166

OPAC
明治大学図書館生

410.8||1-224||||K29602284

OPAC
山形大学中央図書館

410||L 14||1-224119505993

OPAC
山口大学図書館総合図書館

410.8/L651/2240095185926

OPAC
立教大学図書館

95-37581

OPAC
和歌山大学教育機構学術情報センター図書館

219950003529

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Includes bibliographical references

Computability, enumerability, unsolvability : directions in recursion theory

著者

書誌事項

大学図書館所蔵件 / 全74件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

Computability, enumerability, unsolvability : directions in recursion theory

著者

書誌事項

大学図書館所蔵 件 / 全74件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全74件