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