Logic Programmingde Krzysztof AptMateriasLogic programmingCongressesLogische ProgrammierungProgrammation logiqueLogisch programmerenKongressCongrèsEdiciones (1)Logic Programming (1992)The MIT Press · inglés · ISBN 9780262510646Más obras de Krzysztof AptVerification of Sequential and Concurrent ProgramsMMeta-Logics and Logic ProgrammingMeta-Logics and Logic ProgrammingPPrinciples of Constraint ProgrammingPrinciples of Constraint ProgrammingVer todas las obras de Krzysztof Apt →