Solving higher-order equations
Subtitle: from logic to programming
By: Christian Prehofer.
Series: Progress in theoretical cpmputer science
Publisher: Birkhauser
Published: 1998
Place of publication: Boston
Language: eng
Number of pages: 186
Subjects: Computer logic.; Declarative programming.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references (p. [163]-181) and index.