Computation as logic
By: René Lalement ; translated by John Plaice.
Series: Prentice Hall international series in computer science
Publisher: Masson; Prentice Hall
Published: 1993
Place of publication: Paris; Hemel, Hempstead; Englewood Cliffs, NJ
Language: eng
Number of pages: 387
Subjects: Logic programming.; Functional programming (Computer science); Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. 370-377) and index.