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.
Dyfyniad Arddull 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.
Dyfyniad 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.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.