Telecharger Cours

ace March eviction

Abstract. The message of this paper is the following: there is one more basic principle of operational semantics of logic programming (besides.



Download