Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

関連文献: 1件

著者

書誌事項

Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds.)

（Lecture notes in computer science, 1289）

Springer, c1997

: pbk

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

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

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

: pbk410.96:C100397421

OPAC
宇都宮大学附属図書館陽東分館

:pbk549.08||1||1289

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

004.08||Le||1289Y:Y9800167

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

:pbk548//L49//628711700662874

OPAC
大阪産業大学綜合図書館

: pbkZ0/012/128903097771

OPAC
岡山大学図書館工情報

: pbk410.1/K016000210737

OPAC
関西大学図書館図

:pbk206972415

OPAC
関西学院大学図書館上ケ原

: pbk510.78:265:12890002317964

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

:pbk549.9||L-5||12896011640

OPAC
九州大学理系図書館

: pbk408/L 49061232004017147

OPAC
京都産業大学図書館

:pbkS/410.12836662

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

:pbkL/N||LNCS||128997034098

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

: pbk007||LNCS||128997048360

OPAC
岐阜大学図書館

:pbk549.92||Lec120779234

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

: pbk007||L49||128900062855

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

V.1289007.6/L507/v.128905011097, : pbk007.6/L507/v.128905011097

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

: pbk430||LEC-1||1289B9907531

OPAC
国立民族学博物館情報管理施設

: pbkW1/004/Lec/F199906639

OPAC
滋賀大学附属図書館

: pbk001.6||L 49||1289097002256

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

: pbk007/L49/12890097167944

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

: pbk007/L49/12898098017000

OPAC
静岡理工科大学附属図書館

: pbk007.63||L471||128909807576

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

: pbkZ37204

OPAC
上智大学図書館中央

QA:76.9:A96:K87:1997002511894

OPAC
千葉大学附属図書館研

: pbk098054060

OPAC
中央大学図書館理工学部分館理工

: pbk004/L4700016751414

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

:pbk007.08-L49-1289100977012393

OPAC
筑波大学附属図書館図書館情報学図書館

: pbk007.08:L-49:1289971006110

OPAC
東海大学付属図書館12

:pbk549.92/L/128901954921

OPAC
東京工科大学メディアセンター

: pbk410.96||C602258

OPAC
東京科学大学大岡山図書館

Z01042116491400

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

: pbkRO:Computational8010192998

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

39:L:1.12892012686214

OPAC
東京都市大学横浜キャンパス図書館

: pbk007.1/G72cb:1199851031

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

: pbk06000009865

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

: pbk02980010003

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

02980010003

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

: pbk007.08||LE||128997901823

OPAC
名古屋工業大学図書館

:pbk549.92||Ku 78||5

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

410.96||K41199731

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

P||AUS||97-C||3646441205245

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

:pbkAB||23||12890023392

OPAC
新潟大学附属図書館図

: pbk007.6//L49//12891980037357

OPAC
一橋大学附属図書館図

: pbk*5080**1**1289129704420T

OPAC
兵庫県立大学姫路環境人間学術情報館

: pbk007||1289||3311085750

OPAC
広島修道大学図書館

: pbk1

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

: pbk007.6:Ku-78/HL4010004000407522

OPAC
法政大学図書館多図

: pbk007/L49/128910602020135843

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

:pbkLN /LNCS/12891:5970864

OPAC
三重大学附属図書館

: pbk549.9/L 49/128969706553

OPAC
明治学院大学図書館横図

001.6:L:12891100649084

OPAC
立教大学図書館

: pbk52019282

OPAC
龍谷大学瀬田図書館図

:pbk39700133173

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

この図書・雑誌をさがす

注記

Includes bibliographical references

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Computational logic and proof theory : 5th Kurt Gödel Colloquim, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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