Bounded arithmetic, propositional logic, and complexity theory

- Krajíček, Jan

関連文献: 1件

著者

- Krajíček, Jan

書誌事項

Bounded arithmetic, propositional logic, and complexity theory

Jan Krajíček

（Encyclopedia of mathematics and its applications / edited by G.-C. Rota, v. 60）

Cambridge University Press, 1995

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

愛知学院大学図書館情報センター図

410/10101045852

OPAC
愛知大学名古屋図書館図

410.96:Kr10422004975

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

QA9.56.K73 1995

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

779500658

OPAC
茨城工業高等専門学校学術総合情報センター図書館図

410.8/En955728

OPAC
茨城大学附属図書館図

410:Kra119515123

OPAC
岩手県立大学メディアセンター

410.96:K100454941

OPAC
岩手大学図書館

410.3:E58:-600010912228

OPAC
宇都宮大学附属図書館

1295070641

OPAC
愛媛大学図書館研

410.1/KR19505829

OPAC
大分大学学術情報拠点(図書館)

511.3||KJ2

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

410.8//E58//745915100174596

OPAC
大阪公立大学中百舌鳥図書館

20010409550

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

12200057219

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

410.1||KH019000092517*

OPAC
小樽商科大学附属図書館

217689

OPAC
お茶の水女子大学附属図書館数学

410.8/E58/60095010063048

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

410.1//K50001030188

OPAC
鹿児島大学附属図書館

410.8/E58/6011195106983, 60410.8/E58/6011195106983

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

9600-51827-0

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

410.3:E56:609509-50945-0

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

410.3:E56:609808-50017-X

OPAC
川崎医療福祉大学附属図書館

410.1/Kra2210013286

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

510||257||6000415802

OPAC
九州工業大学附属図書館情報工学部分館

410.1||K-46010139

OPAC
九州大学理系図書館

410.96/Kr 1068252195008367

OPAC
京都産業大学図書館

410.12783898

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

S||EMA||6095067617

OPAC
京都大学大学院情報学研究科

410.8||EMA||60200008278387

OPAC
京都大学理学部数学

Ser.||A 79||60A95062147

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

410.12-Kr110346078

OPAC
岐阜大学図書館

410.8||Enc120720035

OPAC
熊本高等専門学校八代キャンパス図書館図

1131031747

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

410.96||Kr,1||||07-302410242502

OPAC
倉敷芸術科学大学図書館

150014553

OPAC
高知工科大学附属情報図書館

410||E58||6000018275

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

410-3-1//60h039600000943*

OPAC
神戸大学附属図書館社会科学系図書館

9-1-1549s011009600718*

OPAC
国立研究開発法人理化学研究所図書館

610||ENC||60B9906196

OPAC
佐賀大学附属図書館図

410.12-Kr 2129501818

OPAC
札幌学院大学図書館

2000154700

OPAC
滋賀大学附属図書館

512||En 1||6096001745

OPAC
滋賀大学附属図書館教育学部分館

410.3||En 1||6095004935

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

410.96/KR20095151049

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

410.96/KR18095026392

OPAC
島根大学附属図書館

OPAC
成蹊大学図書館

510.8||8||6095204597

OPAC
政策研究大学院大学図書館

00263442

OPAC
専修大学図書館図

20419699

OPAC
拓殖大学八王子図書館

410.96|| ||300300514066

OPAC
千葉大学附属図書館研

099106838

OPAC
中部大学附属三浦記念図書館図

410.8||E 58||60G105338A

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

410.9-Kr1100953110631

OPAC
津田塾大学図書館図

510En/K89F128065

OPAC
鶴見大学図書館

410.96||K09600141

OPAC
電気通信大学附属図書館研

410.96/Kr12003107269

OPAC
東海学園大学図書館

410.96||K1000022309

OPAC
東海大学付属図書館12

410.8/E/6001914620

OPAC
東京科学大学すずかけ台図書館

410.96/Kr216332598

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

19603284

OPAC
東京大学工学部・工学系研究科物計

D3-E1-601010706529

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

8010132226

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

FU:Kr8010131533,8010131541

OPAC
東京大学総合図書館

510:E56:600011409653

OPAC
東京大学大学院情報理工学系研究科CS図

K6:1072012599912

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

410/K-31/11095007923

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

410/E-58/606095007961

OPAC
東京農工大学府中図書館

H0018184*

OPAC
東京理科大学野田図書館野図

410.8||E 58||6060241413

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

06000007355

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

02950019468

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

03950026048

OPAC
徳島大学附属図書館

410.3||En||60019502849

OPAC
富山大学附属図書館医薬学図書館図

410.3//E56//V.60T9500007692*

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

410.96/Kr0:0068726

OPAC
豊橋技術科学大学附属図書館図

410.8||EN||60959024565

OPAC
獨協大学図書館図

OPAC
名古屋工業大学図書館

410.8||Kr 195201982

OPAC
名古屋市立大学総合情報センター北千種分館

411.1||Kr70262108

OPAC
名古屋大学情報・言語合同図書室情報・言語

410.96||K41681755

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

Ser||EMA||60||3461841152326

OPAC
奈良工業高等専門学校図書館

0075012

OPAC
奈良女子大学学術情報センター

19961111

OPAC
奈良先端科学技術大学院大学附属図書館

BA||1689109435

OPAC
日本大学工学部図書館図

410.96||Kr1E0500234

OPAC
一橋大学附属図書館図

4100:84:60229501112N

OPAC
兵庫県立大学神戸商科学術情報館

410.3 || 13 || 60

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

410.9KR0001260731,0001706109

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

410.1:Kr-1/HL6061006000408126

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

410.1:Kr-1/385437511000428653

OPAC
福井大学附属図書館

410||BOU9510727

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

410.12||KR12195008813

OPAC
福島大学附属図書館

T19509839*

OPAC
放送大学附属図書館図

410.9||B6411720831

OPAC
放送大学附属図書館研

410.9||B6411732579

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

C22.3/ K /1:5951878

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

410.8/E58/600357162

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

511.3/K8572070358413

OPAC
三重大学附属図書館

410.8/E 58/6069513972

OPAC
都城工業高等専門学校図書館

4950568200007

OPAC
宮崎大学附属図書館図

410.7||K3||100412847

OPAC
武蔵大学図書館

410.8||F22

OPAC
山形大学中央図書館

410||E 6||2-60119505641

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

410.120095185880

OPAC
横浜国立大学附属図書館

H98002644*

OPAC
横浜国立大学附属図書館理工

410.96||KR

OPAC
立教大学図書館

95-37576

OPAC
立命館大学図書館

7310524378

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

219950005290

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

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 327-334) and indexes

Bounded arithmetic, propositional logic, and complexity theory

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Bounded arithmetic, propositional logic, and complexity theory

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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