Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog /

Gorde:
Xehetasun bibliografikoak
Egile nagusia: Lê Mạnh Thạnh.
Beste egile batzuk: Trương Công Tuấn.
Formatua: Artikulua
Hizkuntza:Vietnamese
Gaiak:
Etiketak: Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
LEADER 00940nam a2200277 4500
001 DLU090103793
005 ##20130506
040 # # |a DLU  |b vie 
041 # # |a vie 
044 # # |a vn 
100 # # |a Lê Mạnh Thạnh. 
245 # # |a Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog /  |c Lê Mạnh Thạnh, Trương Công Tuấn. 
653 # # |a Lôgic  
653 # # |a Phương pháp ước lượng 
653 # # |a Phương trình 
700 # # |a Trương Công Tuấn. 
773 # # |t Tạp chí Khoa học (Đại học Huế)   |g Số 10, 2002, tr. 63-74 
920 # # |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt 
994 # # |a DLU 
900 # # |a True 
911 # # |a Nguyễn Thị Linh Chi 
925 # # |a G 
926 # # |a A 
927 # # |a BB 
980 # # |a Thư viện Trường Đại học Đà Lạt