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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha