Padawitz,, Peter Deduction and declarative programming / Peter Padawitz

Deduction and declarative programming / Peter Padawitz . - Cambridge : Cambridge University Press, 1992 . - VI, 279 p. 26 cm . - (Cambridge tracts in theoretical computer science; 28))
0-521-41723-6 (Encadernado)

519.68