Background : mathematical structures

関連文献: 1件

著者

書誌事項

edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

（Handbook of logic in computer science, v. 1）

Clarendon Press, 1992

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

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

QA76.H2785

OPAC
愛媛大学図書館研

007.6/HA/10311998188446

OPAC
大阪工業大学図書館中央

R007.6||H||189612933

OPAC
大阪大学大学院人間科学研究科図書室

10900069633

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

12600137512

OPAC
大阪大学附属図書館理工学図書館

18200000406

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

007.6||HH019000038792*

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

548/H29/1008010034455

OPAC
関西大学図書館図

207588236

OPAC
関西学院大学図書館三田

006.4:671:10003195401

OPAC
北見工業大学図書館図

007.103||A1400005308483

OPAC
九州大学筑紫図書館

007.63068622195000403

OPAC
九州大学中央図書館

007.63/A 14/1003212001003331

OPAC
九州大学理系図書館

026212002000081

OPAC
京都産業大学図書館

410.12673265 734883

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

C||Handbook-17||192063337

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

007.6||ABR 2||192065460

OPAC
京都大学理学部数学

ABR||09||0192062773

OPAC
岐阜大学図書館

549.92||Han120557754

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

007.6:H29:1209601933

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

548-0-164//1h039300001437*

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

V.5007.6/A144h/v.505527619, 007.6/A144h/v.404693898

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

R430||HAN||1B9906365

OPAC
国立情報学研究所

007.6||2002||006/1100121066,100129166

OPAC
埼玉大学図書館情工

028002348

OPAC
佐賀大学附属図書館図

007.6-H 29-1129400191

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

007.6/H29/10097005094

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

007.6/H29/18193000190

OPAC
島根大学附属図書館

2035584

OPAC
城西大学水田記念図書館

0092117161

OPAC
椙山女学園大学中央図書館図

007.695S03903

OPAC
拓殖大学八王子図書館

007.6||1||372900616641

OPAC
千葉工業大学附属図書館津図

312142

OPAC
千葉大学附属図書館研

096163570

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

007.6-H2910093301941

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

549.98||H29||12219506449

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

?||Ab18000716

OPAC
東京海洋大学附属図書館国際文化

549/H29/19603249

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

JI:Ha8010030685

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

11:H:17.12012441271

OPAC
東北大学電気通信研究所図書室

06930000876

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

06920010007

OPAC
常磐大学情報メディアセンター

007.1-H-100285258

OPAC
鳥取大学附属図書館図

007.6:Han:(1)0010150746

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

410.96/A/10:0065387

OPAC
名古屋工業大学図書館

401||H 29||193200356

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

007.64||Ab41199734

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

007.64||Ab41358133

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

007.64||H50081307

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

ABR||26||1A41073108

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

AB||81||19109182

OPAC
新潟大学附属図書館図

007.6//A14//11920217520

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

418.6||H 29||114367082

OPAC
東日本国際大学図書館

007.6||A14||12001815

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

007.6/HA/10000513043

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

007.6:B-13/HL6061006000402197

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

007.6:B-13/011096076000402932

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

007.6:B-13/593154221000408630

OPAC
福山大学附属図書館

129903762

OPAC
法政大学図書館図

001.6||H29||108013687

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

C22.1||H29||16921534

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

C22.1||H29||15941328

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

dc20:004/h1913570378226

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

dc20:004/ab832070310836

OPAC
北海道教育大学附属図書館函館館

NDC8:007.1/A14/1213175316

OPAC
三重大学附属図書館

007.1/H 29/150407671

OPAC
明治学院大学図書館経済

004:A16:10105490890

OPAC
山形大学工学部図書館

007//HAN//1719300108

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

007.64//ABH0454269*

OPAC
立命館大学図書館

7310058902

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Background : mathematical structures

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Background : mathematical structures

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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