Definition 3.4 /PAA92a] For any ext

Definition 3.4 /PAA92a] For any extended logic program II, the function On is defined as On(A^) = Gr^G'stn)^))

Kết quả (Việt) 1:

Định nghĩa 3.4 /PAA92a] cho bất kỳ chương trình kéo dài logic II, các chức năng trên được xác định là On(A^) = Gr ^ G'stn) ^))

Kết quả (Việt) 2:

Định nghĩa 3.4 / PAA92a] Đối với bất kỳ chương trình logic mở rộng II, các chức năng trên được xác định là On (A ^) = Gr ^ G'stn) ^))