Computability theory, semantics, and logic programming

- Fitting, Melvin Chris

関連文献: 1件

著者

- Fitting, Melvin Chris

書誌事項

Computability theory, semantics, and logic programming

Melvin Fitting

（Oxford logic guides, 13）

Oxford University Press , Clarendon Press, 1987

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

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

QA9.59.F58 1987

OPAC
茨城大学附属図書館図

007:Fit118703241

OPAC
大分大学学術情報拠点(図書館)

001.64||FM3406127

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

501.95/FIT08762003633

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

08782003548

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

007.6 ||F016000063533*

OPAC
岡山大学附属図書館教育数

007.6 ||FS016000041108*

OPAC
北九州市立大学図書館

007.64/F290002598597

OPAC
九州大学理系図書館

068252187005893

OPAC
京都大学桂図書館図

L4||43088030649

OPAC
京都大学基礎物理学研究所図書室基物研

B2||FIT87070339

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

FIT||2||488003558

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

I,1987||2.3||7587091173

OPAC
熊本大学附属図書館

007.64||F,2910088890

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

621.34-410081000075877

OPAC
神戸常盤大学図書館

007.6||FI100017749

OPAC
国立情報学研究所

87||103100081126

OPAC
佐賀大学附属図書館図

410.1-F 29127024055

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

535.5/F290087043709

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

547.01/8008187000602

OPAC
信州大学附属図書館教育学部図書館

410.96:F 290770415487

OPAC
上越教育大学附属図書館

007.64||F 2993107210

OPAC
上智大学図書館中央

QA:9.59:F58:1987001204364

OPAC
拓殖大学八王子図書館

007.64|| ||14T00419970*

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

ikkatu

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

007.6/F215427366

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

FU:Fi2012083180

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

25:F:32012080798

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

007||F2873554

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

06870002221

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

02870011171

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

03870008996

OPAC
東洋大学附属図書館川越図書館

1306130491

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

007.64/F0:0055966

OPAC
豊橋創造大学附属図書館

007.64||FiT508328

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

007.64||F40920920

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

007.64||F920321

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

FIT||8||4||2739740921125

OPAC
新潟大学附属図書館図

H011699*

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

418.6||F29||ア,418.6||F2913933694,13673000

OPAC
阪南大学図書館図

20000159507

OPAC
一橋大学附属図書館図

Scb:311128743004T

OPAC
姫路獨協大学附属図書館図

053358

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

007.6||(1)||177311071672

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

007.1FI0001507218

OPAC
福岡大学図書館

10723453

OPAC
福山大学附属図書館

128803374

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

C23.1||F296951279

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

DC19:001.64/F5643570082387

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

001.642/F5640570134227

OPAC
山形大学工学部図書館

T719007310*

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

418.6/F4770087050510

OPAC
山梨大学附属図書館

418.61081086372

OPAC
立教大学図書館

87-32976

OPAC
和歌山大学教育機構学術情報センター図書館

219890072019

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

この図書・雑誌をさがす

注記

Includes index

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

詳細情報

NII書誌ID(NCID)
BA00503785
ISBN
- 0195036913
LCCN
85005003
出版国コード
us
タイトル言語コード
eng
本文言語コード
eng
出版地
New York,Oxford
ページ数/冊数
xi, 198 p.
大きさ
25 cm
分類
- LCC : QA9.59
- DC19 : 001.64/2
件名
- LCSH : Computable functions
- LCSH : Data structures (Computer science)
親書誌ID
- BA00017765

書き出し

ページトップへ