Cover Image

Solving higher-order equations : from logic to programming /

Show other versions (1)
Bibliographic Details
Main Author: Prehofer, Christian, 1967-
Format: Book
Language:English
Published: Boston : Birkhauser, [1998]
Series:Progress in theoretical computer science.
Subjects:
Computer logic.
Declarative programming.
Logic, Symbolic and mathematical.
Description
Physical Description:vii, 186 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages [163]-181) and index.
ISBN:0817640320
3764340320