CiNii 図書 - Semantics and logics of computation

著者

書誌事項

Semantics and logics of computation

edited by Andrew M. Pitts, Peter Dybjer

（Publications of the Newton Institute, 14）

Cambridge University Press, 1997

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

愛知教育大学附属図書館数理

007.6||S4797000961

OPAC
大阪工業大学図書館枚方分館情報

89910315007.6/P

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

10900279109

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

12200085764

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

12600092691

OPAC
岡山県立大学附属図書館

007.6/PI00251926

OPAC
関西外国語大学図書館学術情報センター (中宮)

801.2/P6997-7661

OPAC
北九州学術研究都市学術情報センター北九州図書

007.1||Se51000020921

OPAC
九州大学理系図書館

007.1/P 69026211997001531

OPAC
京都産業大学図書館

418825204

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

ZH||77597026323

OPAC
京都大学理学部数学

PIT||04||01200020041637

OPAC
岐阜大学図書館

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

007.6:P69209800561

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

548-01-216030009703891

OPAC
埼玉大学図書館養英語

028001069

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

007.6/P690009523150

OPAC
島根大学附属図書館

OPAC
大東文化大学図書館

1111238529

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

RO:Se8010188129

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

06050005631

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

00970023805

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

02090006481

OPAC
名古屋工業大学図書館

549.92||Se 5197200707

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

007.6||P41200754

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

P||ENG||95-S||3576841185964

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

007.1SE0001291964,0001731859

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

007.1:Se-51/593154221000441308

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

C22.3||S5971898

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

C22.3||S5970043

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

005.131/P6870571110618

OPAC
明治学院大学図書館図

004.0151:P690105869960

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

この図書・雑誌をさがす

注記

Includes bibliographical references and index

Semantics and logics of computation

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Semantics and logics of computation

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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