From standard logic to logic programmingde André Thayse, Paul GochetMateriasLogic programmingArtificial intelligenceLogicEdiciones (1)From standard logic to logic programming (1988)Wiley · inglésMás obras de André ThayseFrom modal logic to deductive databases