Deduction and declarative programming /

Bibliographic Details

Main Author:	Padawitz, Peter, 1953-
Format:	Book
Language:	English
Published:	Cambridge ; New York, NY : Cambridge University Press, 1992.
Series:	Cambridge tracts in theoretical computer science.
Subjects:	Logic programming. Functional programming (Computer science)