Deduction and declarative programming
By: Peter Padawitz.
Series: Cambridge tracts in theoretical computer science ;; 28
Publisher: Cambridge University Press
Published: 1992
Place of publication: Cambridge; New York
Language: eng
Number of pages: 279
Subjects: Declarative programming.
Notes: Includes bibliographical references (p. [269]-274) and index.