000 00482nam a2200169Ia 4500
999 _c60929
_d60929
005 20220105092415.0
008 180710s9999 xx 000 0 und d
020 _a139627
041 _aEN
082 _a6.3
_bOPE
_223
100 _aOPEN University of Sri Lanka
245 _aDeductive reasoning and prolog for artificial intelligence CSU 2280
260 _aNugegoda
_bOpen Univerisity of Sri Lanka, Dept. of mathematics
_c1997
300 _a164 p.
509 _aNS
942 _cPR