Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Corporate Author: | |
---|---|
Other Authors: | |
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) |