KẾT QUẢ TÌM KIẾM
Tải biểu ghi 
Tìm thấy  1  biểu ghi              Tiếp tục tìm kiếm :
1       Sắp xếp theo :     Hiển thị:    
STTChọnThông tin ấn phẩm
1Techniques of Prolog programming: With implementation of logical negation and quantified goals . - New York: John Wiley. 1993. - 601 tr.: 27 cm.