Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /

Corporate Author: International Workshop on Logic Program Synthesis and Transformation Stockholm, Sweden)
Other Authors: Gallagher, John
Format: Book
Published: Berlin ; New York : Springer, c1997.
Subjects:
Physical Description:vi, 324 p. : ill. ; 24 cm.
Bibliography:Includes bibliographical references and index.
Περιέχει βιβλιογραφία και ευρετήριο
ISBN:3540627189(softcover:alk.paper)