Nguồn loại 2 và chương trình Datalog /
Enregistré dans:
| Auteur principal: | Lương Cao Đông. |
|---|---|
| Autres auteurs: | Đặng Huy Ruận., Nguyễn Thế Bình |
| Format: | Article |
| Langue: | Vietnamese |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Documents similaires
-
Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog /
par: Lê Mạnh Thạnh. -
Một số cải tiến đối với phép biến đổi ma tập để tối ưu hóa câu truy vấn trên chương trình datalog /
par: Lê Mạnh Thạnh. -
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 /
par: Lê Mạnh Thạnh. -
Lịch triều hiến chương loại chí; T2
par: Phan Huy Chú
Publié: (1992) -
Điều bị loại khỏi chương trình thời sự /
par: Lajos, Grendel.