The Logic programming paradigmde Krzysztof R. AptMateriasLogic programmingEdiciones (1)The Logic programming paradigm (1999)Springer · inglésMás obras de Krzysztof R. AptVerification of sequential and concurrent programsLectures in game theory for computer scientistsFoundations of deductive databases and logic programming