An algorithm is also presented to decide whether a default theory is ordered.

而且，给出了一个判定缺省理论是否有序的可行算法。

youdao

An algorithm is also presented to decide whether a default theory is ordered.

而且，给出了一个判定缺省理论是否有序的可行算法。

youdao