CSI 501 - LOGIC AND INFERENCE SYSTEMS - APR. 1994 - PPSKOM, Pusat Pengajian Sains Komputer (1994)