Cover Image

Types in logic programming /

Bibliographic Details
Other Authors: Pfenning, Frank
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, [1992]
Series:Logic programming.
Subjects:
Logic programming.
Description
Physical Description:xviii, 357 pages ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0262161311