000 00491nam a2200181 4500
008 160616s1987 000 0
245 _aLogic Programming '86
_bProceedings, 5th Conf., Tokyo, Japan, 1986
100 _aWada, Eiiti. Ed.
260 _aBerlin
260 _bSpringer Verlag
260 _c1987
300 _a179
440 _aLecture notes in computer science ; 00264
020 _a3540180249
650 _aLogic Programming
942 _cBK
_2BK13705
080 _a681 LNCS
999 _c13705
_d13705