Ainita Ban <br/><br/>
Reka bentuk alat penterjemahan  ayat bahasa tabii kepada kalkulus predikat mengikut sintaksis Z /  [microform] : 
Ainita binti Ban 
 - Bangi :  Perpustakaaan Tun Seri Lanang,  2007 
 - 2 microfisches;  11 x 15 cm. 
<br/><br/>Tesis (Sarjana Teknologi Maklumat) - Universiti Kebangsaan Malaysia, 2002 
<br/><br/><label>Subjects--Corporate Names: </label><br/>Universiti Kebangsaan Malaysia--Dissertations
<br/><br/><label>Subjects--Topical Terms: </label><br/>Natural language processing (Computer science)<br/>Z (Computer program language)<br/>Computer software--Development