The journal of logic programming

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

1-45,46(1-2)

大阪公立大学 中百舌鳥図書館1998-2000

35-46

小樽商科大学 附属図書館1986-2000S||14.2||J

3-46

神奈川大学 平塚図書館1987-2000

4-46

九州工業大学 附属図書館図1984-2000

1-46

九州大学 理系図書館1984-2000

1-46

京都大学 数理解析研究所 図書室数研1984-20000J0440

1-46

近畿大学 産業理工学部図書館図1990-1992

8-12

神戸大学 附属図書館 自然科学系図書館1991-2000

10-46

産業能率大学 図書館1984-1999Z||C40||

1,5-41

静岡大学 附属図書館 浜松分館浜図1985-1993000/Z

2-17

中京大学 豊田図書館1989-200011456

6-40,42-43,44(1-2)

電気通信大学 附属図書館図庫1984-1992J

1(1-3),2,3(1),4-11,12(1-3)

桐蔭横浜大学 図書館図1994-2000

18-46

東京大学 柏図書館書庫1986-1995

3-5,6(1-2),7(2-3),8,9(2-3),10-24,25(1-2)

東北大学 電気通信研究所 図書室1984-2000

1-46

奈良女子大学 学術情報センター1994-2000

18-45,46(1-2)

西日本工業大学 図書館1985-2000

2-46

兵庫県立大学 神戸商科学術情報館1984-1986P54||44

1-3

広島経済大学 図書館1984-2000

1-2,3(1,3-4),4-45,46(1-2)

福岡工業大学 附属図書館図書館1984-20003420

1-46

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

1(1,3-4),2,3(1,4),4-10,11(1-2),12-46

山形大学 工学部図書館1987-1994

4-21

山梨大学 附属図書館研1992-2000

12-46

和歌山大学 附属図書館1996-2000

26-37,42-45,46(1-2)