Studies in automatic programming logic

関連文献: 2件

著者

書誌事項

Zohar Manna, Richard Waldinger ; with contributions by Shmuel Katz and Karl Levitt

（Artificial intelligence series）（The Computer science library）

North-Holland, c1977

: pbk

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

茨城大学附属図書館工学部分館分

549:610000451767

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

549.9//M00002159978

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

549.9//M00014181507

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

07826047560

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

07982000601

OPAC
大島商船高等専門学校図書館

418.6||M11||1A000030500

OPAC
香川大学図書館

OPAC
鹿児島大学附属図書館

pbk418.6/Ma4511178007156, 418.6/Ma4512180086491

OPAC
神奈川工科大学附属図書館

007.64||M12009240

OPAC
関西大学図書館図

B183530

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

518||Man||3950000193761

OPAC
北九州市立大学図書館

007.63/Ma450002615748

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

549.9||M-1420418795

OPAC
九州大学筑紫図書館

062232000011293

OPAC
九州大学中央図書館

549.9/Ma 45/1058211981144902

OPAC
九州大学理系図書館

026232003082202

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

MAN||13||32428355

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

I,1977||5.1||8082543043

OPAC
岐阜大学図書館

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

pbk549.92:Ma45207227454

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

: pbk549.92/8348100404477, 549.92/8348100379158

OPAC
島根大学附属図書館

OPAC
上武大学附属図書館分館

/007.64/Ma45/21042198

OPAC
千葉商科大学付属図書館

007.64/M/Y 46611C902298139

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

ikkatu

OPAC
東京工業大学大岡山図書館

401/M/1F書庫113993332

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

401/M213987917

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

83:M:91000319838

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

25:M:52006040220

OPAC
東京都立大学図書館日野館図

/007.64/Ma43201011418

OPAC
東京理科大学神楽坂図書館応数

535.54||Ma 4510015690

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

07850041255

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

pbk04850471946

OPAC
徳山工業高等専門学校図書館

007.64/M055201191

OPAC
鳥取大学附属図書館図

549.92:Ma450105729271

OPAC
富山大学附属図書館図

535.54||M31||St085746

OPAC
名古屋工業大学図書館

549.92||Ma 45

OPAC
名古屋大学工学図書室工中央書庫

007.64||M40760255

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

418.6||M40653006

OPAC
新潟大学附属図書館図

007.64//Ka888000189395

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

007.64||382110926

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

007.6|| ||52311043665

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

549.9:M6000118875

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

dc19:001.6/m3153520998654

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

001.6/M3150521197243

OPAC
三重大学附属図書館

007.64/Ma 4529436359

OPAC
宮城大学学術情報センター

007.64||77.--000064245

OPAC
山口大学図書館工学部図書館

418.6/M0552080076132

OPAC
山梨大学附属図書館

4181081018418

OPAC
立教大学図書館

78-35680

OPAC
和歌山大学附属図書館

219890071890

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

この図書・雑誌をさがす

注記

Bibliography: p. 181-185

Includes indexes

Studies in automatic programming logic

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Studies in automatic programming logic

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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