👤

Peter Padawitz

b. 1953 ยท 3 books

Books by Peter Padawitz

Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
2006
Deduction and declarative programming
Deduction and declarative programming
1992
Computing in Horn clause theories
Computing in Horn clause theories
1988