Lê Mạnh Thạnh. 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.
Trích dẫn kiểu ChicagoLê Mạnh Thạnh. 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.
Deismireacht MLALê Mạnh Thạnh. 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.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.