Time and logic : a computational approach
edited by Leonard Bolc & Andrzej Szałas
UCL Press, 1995
会津大学 情報センター (附属図書館)図
QA76.63.T58
OPAC
川崎医療福祉大学 附属図書館
007.1/Tim2210011854
九州大学 理系図書館
007.1/B 63068252195008138
釧路公立大学 附属図書館図
F007.1/B10013520
埼玉大学 図書館養哲学
007.1:TY5004992
島根大学 附属図書館
筑波大学 附属図書館 中央図書館
007.1-B63953002981
東京大学 大学院情報理工学系研究科CS図
11:T:132012570053
東北大学 附属図書館 北青葉山分館図
02950003542
奈良先端科学技術大学院大学 附属図書館
BD40||109103985
新潟工科大学 附属図書館
007.1/B 63000039752
広島市立大学 附属図書館
007.1/BO0000860505
北陸先端科学技術大学院大学 附属図書館図
C23.1|| T ||6060022
北陸先端科学技術大学院大学 附属図書館研究科
C23.1/ T /1:5940261