Logic and Prolog
Richard Spencer-Smith
Harvester Wheatsheaf, 1991
大阪大学 附属図書館 総合図書館
//09122019012
OPAC
京都産業大学 図書館
418.6660739
京都大学 経済学部 図書室経済図
pbkCII||5||SPEN91033021
神戸大学 附属図書館 総合図書館 国際文化学図書館
s061000109714*
埼玉大学 図書館養英語
pbk007.6:SY2012543
周南公立大学 図書館図
pbk007.64||N 10108103
城西大学 水田記念図書館
0092103893
大東文化大学 図書館
: pbk1110009437
東北大学 附属図書館本館
00920151383
東北文化学園大学 総合情報センター 図書館
548.964/Spe00023961
名古屋大学 理学 図書室理数理
pbkSPE||19||141033158
新潟大学 附属図書館図
pbk007.64//Sp41940237297
比治山大学 図書館
pbk0104777
兵庫大学 附属図書館
5000065
広島修道大学 図書館図
007.64/Sp 41910132710
広島大学 図書館 中央図書館
640220
安田女子大学 図書館
pbk956645
Includes index
