Deduction and declarative programming
Padawitz, Peter
Deduction and declarative programming - - Cambridge : Cambridge University Press, 1992 1992 - 279 p. 24.5 cm - .
0-521-41723-61
Programming (Electronic computers)
Logic, Symbolic and mathematical
Logic programming
681.3.06:517.1 Pad
Deduction and declarative programming - - Cambridge : Cambridge University Press, 1992 1992 - 279 p. 24.5 cm - .
0-521-41723-61
Programming (Electronic computers)
Logic, Symbolic and mathematical
Logic programming
681.3.06:517.1 Pad