000 00390nam a2200133Ia 4500
008 180710s9999 xx 000 0 und d
020 _a139628
082 _a6.3
_bOPE
100 _aThe Open University of Sri Lanka
245 _aDeductive reasoning and prolog for artificial intelligence
260 _aNugegoda
_bThe Open University of Sri Lanka
_c1997
300 _aix, 164 p.
942 _cR
999 _c60928
_d60928