TY - BOOK AU - Ainita Ban TI - Reka bentuk alat penterjemahan : ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z PY - 2002/// CY - Bangi PB - Fakulti Teknologi Sains Maklumat, Universiti Kebangsaan Malaysia KW - Universiti Kebangsaan Malaysia KW - Dissertations KW - Natural language processing (Computer science) KW - Z (Computer program language) KW - Computer software KW - Development N1 - Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002; Rujukan : p.87-90 ER -