Deduction and declarative programmingde Peter PadawitzMateriasDeclarative programmingComputer programmingEdiciones (1)Deduction and declarative programming (1992)Cambridge University Press · inglésMás obras de Peter PadawitzComputing in Horn clause theoriesDeductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)Ver todas las obras de Peter Padawitz →