Trí tuệ nhân tạo : Các phương pháp giải quyết vấn đề và kỹ thuật xử lý tri thức - Nguyễn Thanh Thủy (Giáo dục, 1995)