TY - BOOK AU - Dean,Neville TI - Logic and language SN - 0333919777 : AV - QA267.3 .D43 PY - 2003/// CY - Houndmills, Basingstoke, Hampshire PB - Palgrave Macmillan KW - Artificial intelligence KW - Logic programming KW - Formal languages ER -