Temporal logic : mathematical foundations and computational aspects

関連文献: 1件

著者

書誌事項

Dov M. Gabbay, Ian Hodkinson and Mark Reynolds

（Oxford logic guides, 28, 40）

Clarendon Press , Oxford University Press, 1994-

v. 1
v. 2

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

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

v. 1QA76.6

OPAC
愛媛大学図書館研

v. 2410.96/TE/20312000060729

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

v. 212200153968

OPAC
岡山大学図書館工情報

v. 1410.1||GH019000052872*

OPAC
岡山大学図書館自知能

v. 1410.1||G019000055174*

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

v. 2410.1||G11000019650

OPAC
九州大学理系図書館

v. 1068222194007625, v. 2023212000000453

OPAC
京都大学文学研究科図書館科哲史

v. 11||G||1601051172, v. 21||G||1601051173

OPAC
岐阜大学図書館

v. 1007.1||Tem120902591, v. 2007.1||Tem120886154

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

v. 1410.96:G11:1200300460, v. 2410.96:G11:2200000107

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

v. 1410.96:G11:1200300460, v. 2410.96:G11:2200000107

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

v. 1410-1-7//28030009707409, v. 2410-1-7//40030200000622

OPAC
国立情報学研究所

v. 12003||376100151791, v. 22003||377100151808

OPAC
埼玉大学図書館情工

v. 1028002362

OPAC
埼玉大学図書館養哲学

v. 1410.9:G:1Y4055016, v. 2020021651

OPAC
滋賀大学附属図書館

v. 1511.3||G 1195001503

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

v. 1410.9/O93/280094071552, v. 2410.9/O93/400000011577

OPAC
島根大学附属図書館

OPAC
専修大学図書館図

v. 120528615

OPAC
拓殖大学八王子図書館

v. 1410.96||1||303800585865, v. 2410.96||2||303800585866

OPAC
千葉大学附属図書館研

v. 220000019121

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

v. 1410.96-G11-1943029721//943029738, v. 2410.96-G11-210005023612

OPAC
津田塾大学図書館図

v. 1510.9/O98/G112/v.2110213905

OPAC
東海学園大学図書館

v. 1410.96||G||11000020949

OPAC
東京海洋大学附属図書館越中島分館図

v. 1410.1||G 2||1180325

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

v. 111:G:15.12012524357, v. 211:G:15.22012821555

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

v. 106940004502

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

v. 102950005854

OPAC
鳥取大学附属図書館図

v. 2410.96:Tem:(2)0010562395

OPAC
富山大学附属図書館図

v. 2410.96||B11||Te=221037325

OPAC
名古屋工業大学図書館

v. 194201343

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

v. 1410.96||G41116275

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

v. 1410.96||G1112199

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

v. 1GAB||4||3A41113894

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

v. 2BD30||70029263

OPAC
南山大学ライネルス中央図書館図

v. 20879536

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

v. 1007.6070742, v. 2410.96073739

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

v. 1410.9|| ||423111057805

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

v. 1410.96GA10000480710,0001485394,0001507102

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

v. 1410.96:G-11/HL1030SU1000425483

OPAC
福山大学附属図書館

v. 2410.96||G||2120100120, v. 1007.1||G||1129500418

OPAC
放送大学附属図書館図

v. 1410.9||Te 34||111720796, v. 2410.9||Te 34||211622583

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

v. 1C22.3||G5961385, v. 2C22.3||G||25000764

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

v. 1C22.3||G||15040822, v. 2C22.3||G||25040503

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

v. 1dc20:511.3/g1112070327803

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

v. 2511.3/G111/20571478831

OPAC
三重大学附属図書館

v. 1410.1/G 11/170000139

OPAC
明治大学図書館生

v. 1418.6||2031||||K29412848

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

v. 10094180624

OPAC
横浜商科大学図書館図

v. 1410.1/G.11/58812

OPAC
立命館大学図書館

v. 27310798715

OPAC
龍谷大学瀬田図書館図

v. 230300004190

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

この図書・雑誌をさがす

注記

Includes bibliographical references and indexes

Vol. 2 (published 2000) by Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger

Temporal logic : mathematical foundations and computational aspects

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

Temporal logic : mathematical foundations and computational aspects

著者

書誌事項

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

この図書・雑誌をさがす

注記

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

詳細情報

書き出し

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