Padawitz, Peter.
Deduction and Declarative Programming - Cambridge CUP 1992 - 279p - Cambridge Tracts in Theoretical Computer Science, 28. .
0 521 41723 6
Deduction and Declarative Programming
681.3 PAD 681.3 PAD
Deduction and Declarative Programming - Cambridge CUP 1992 - 279p - Cambridge Tracts in Theoretical Computer Science, 28. .
0 521 41723 6
Deduction and Declarative Programming
681.3 PAD 681.3 PAD