Krzysztof Apt · 4 obras en el catálogoObrasVerification of Sequential and Concurrent ProgramsMMeta-Logics and Logic ProgrammingMeta-Logics and Logic ProgrammingPPrinciples of Constraint ProgrammingPrinciples of Constraint ProgrammingLogic Programming