The journal of logic and algebraic programming

愛知学院大学 図書館 情報センター図2001-200754/22

47-73

大阪公立大学 中百舌鳥図書館2001-2003

47-57

神奈川大学 平塚図書館2001-2012P007-13

47-81

九州工業大学 附属図書館 情報工学部分館2001-200354||563

47-57

京都産業大学 図書館2001-2007549JAM : T J22

47-73

京都大学 吉田南総合図書館研究室2001-2003

47-49,54-57

神戸大学 附属図書館 自然科学系図書館2001-2004

47-61

創価大学 フレイザー図書館 (理工学部分館)2001-2002T54/J-6

47-50

筑波大学 附属図書館 中央図書館2001-2009*

47-78

東京大学 大学院情報理工学系研究科CS図2001-2005

47-65

名古屋工業大学 図書館2001-2003540||J||4

47-57

西日本工業大学 図書館2001-2002

47-53

広島市立大学 附属図書館2001-2003

47-57

北陸先端科学技術大学院大学 附属図書館図2001-2005

47-65

山梨大学 附属図書館図2001-2001

47(1),48-49