Computer programming and formal systems

関連文献: 1件

著者

書誌事項

edited by P. Braffort and D. Hirschberg

（Studies in logic and the foundations of mathematics）

North-Holland Publishing, 1963

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

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

418||B71c65008596

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

549.59||402270086032

OPAC
愛媛大学図書館図

418.6||B3011217525355

OPAC
追手門学院大学附属図書館図

00011893

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

510.78||BrY8312327

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

549.9//B//MAN-22102

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

418.610003574154

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

01025746502

OPAC
大阪府立中央図書館

M747-B||2592510575901

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

418.6/B012111405756

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

S 7.4||00132||030479003030479

OPAC
鹿児島大学附属図書館

116.308/St991000265928

OPAC
関西大学図書館図

277345

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

510||230||50000085206

OPAC
九州大学中央図書館

549.92/B 71/1017232000077196

OPAC
九州大学理系図書館

026232003000704

OPAC
京都産業大学図書館

418.6||B00078266

OPAC
京都大学桂図書館図

007.64||C||19200042325340

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

BRA||6||1||複本2123421

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

ZD||1501486176

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

720||||1531289178

OPAC
京都大学理学部数学

Ser.||M 14||18-51266683

OPAC
岐阜大学図書館

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

410-12-6031020065276

OPAC
神戸大学附属図書館経済経営研究所図書館図書

621.34-86081000028548

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

9-1-372011000191596

OPAC
佐賀大学附属図書館図

418-B 71127085914

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

535.5/B711000953909

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

410.8/179/128100228322

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

2013001818

OPAC
大学共同利用機関法人人間文化研究機構国立国語研究所

007.64/C859000212135

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

410.8-St910078323228

OPAC
帝京大学図書館

007.64/C-85/0010008886

OPAC
東京大学柏図書館数物

FU:Braffort8950120488

OPAC
東京大学工学部・工学系研究科図書

007.64:B711000454817

OPAC
東京大学工学部・工学系研究科機械系

Fj:54:1-21001044187

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

11:B:61000734820

OPAC
東京大学駒場図書館駒場図

001.642:C7383000760722

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

RO:Computer8001006173

OPAC
東京大学生産技術研究所図書室図書

A-74:866705401393

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

GT:2392006056085

OPAC
東京大学大学院人文社会系研究科・文学部図書室哲学

NL:20114802203325

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

01810211145

OPAC
東洋大学附属図書館

418.6:BP2102435431

OPAC
徳島大学附属図書館

418||Br282075810

OPAC
長岡工業高等専門学校図書館

002003986

OPAC
長崎大学附属図書館

549.92||161973226

OPAC
名古屋工業大学図書館

547.01||B 71

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

418.6||B40528119

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

418.6||B41476565

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

BRA||8||1||485440248533

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

F510.1||1141286.49

OPAC
新潟国際情報大学情報センター

007.64/B7120008424

OPAC
新潟大学附属図書館図

007.64//B711053004446

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

410.8||St9||37,418.6||B7112485828,12485894

OPAC
沼津工業高等専門学校図書館

410.12001409

OPAC
一橋大学附属図書館図

4100:83:26228002359V

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

549.8||32017993

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

007.64:C-854000018336

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

418.6:B6000038787

OPAC
福井大学附属図書館

418.6||BRA6175549

OPAC
福岡大学図書館

549.92/B71/1+20102347280103

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

DC16:510.78/B733520778657

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

510/B730023887548

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

DC16:510.7/B730025037350

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

DC16:510.7/B730024272535

OPAC
三重大学附属図書館

116.08/St 929121232

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

549.9/B7030410117755

OPAC
山梨大学附属図書館

418.61081078656

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

417.5||500863331

OPAC
立教大学図書館

00167358

OPAC
和歌山大学附属図書館

219890098866

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

この図書・雑誌をさがす

WorldCat

注記

Some imprints covered by label: New York : Humanities Press

Includes bibliographies

Computer programming and formal systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Computer programming and formal systems

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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