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 /

Spremljeno u:
Bibliografski detalji
Glavni autor: Lê Mạnh Thạnh.
Format: Članak
Jezik:Vietnamese
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt