Peter Padawitz1953 · 3 obras en el catálogoObrasComputing in Horn clause theoriesDeduction and declarative programmingDeductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)