the expressive power of disjunctive logic programming. Noticeable recursion-theoretic results on disjunctive inference formal-. isms over ...
確定! 回上一頁