000 00573nam a2200181Ia 4500
999 _c1602
_d1602
020 _a0262610566
041 _aENG
082 _a001.535
_bLOG
245 0 _aLogic programming :
_bproceedings of the fifth international conference and symposium /
_cRobert A.Kowalski , Kenneth A. Bowen (Ed.
260 _aCambridge:
_bMIT Press,
_c1988.
300 _avol.2;xx,[859-1690]p.;
_c24cm.
504 _aIncludes references
650 _aComputer Science
650 _aLogic programming
700 _a Bowen, Kenneth A(ed.
700 _aKowalski, Robert A(ed.
942 _cBK
_2ddc