TY - BOOK AU - Phan,Đình Diệu TI - Lô gích trong các hệ tri thức U1 - 003 14 PY - 1999/// CY - H. KW - Hệ thống KW - Hệ tri thức KW - Lô gíc ER -