CiNii 図書 - Principles of logic and logic programming

著者

書誌事項

Principles of logic and logic programming

G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos

（Studies in computer science and artificial intelligence, 13）

Elsevier, 1996

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

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

12200069792

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

007.64/ME00252350

OPAC
北見工業大学図書館図

007.1||ME8100005334352

OPAC
九州大学理系図書館

023211996009154

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

MET||2||196044840

OPAC
高知工科大学附属情報図書館

007.13||Me8100020778

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

548-0-75//13030009700590

OPAC
津田塾大学図書館図

519.1/M591110202426

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

410.1/Me810:199703052

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

TJ:1112012652331

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

06050002371

OPAC
鳥取大学附属図書館図

007.64:Pri0010308310

OPAC
名古屋市立大学総合情報センター北千種分館

007.64||Me70237830

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

MET||3||1||3545641178750

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

BD40||109104062

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

007.64ME0001281606,0001496840,0001701234

OPAC
福岡工業大学附属図書館図書館

007.63/M5420122

OPAC
福山大学附属図書館

007.64||M129900404,129903532

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

C23.1||M5971911

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

C23.1||M5992609

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

005.131/M5642070381605

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

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 311-317) and index

Principles of logic and logic programming

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Principles of logic and logic programming

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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