An edition of Logic program synthesis and transformation (1994)

Logic program synthesis and transformation

proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

by

Cover of: Logic program synthesis and transformation by International Workshop on Logic Program Synthesis and Transformation (1993 Louvain-la-Neuve, Belgium), International Workshop on Logic Program Synthesis and Transformation (1993 Louvain-la-Neuve, Belgium)
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 25, 2024 | History
Edit
An edition of Logic program synthesis and transformation (1994)

Logic program synthesis and transformation

proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
245

Check nearby libraries

Buy this book

Subjects

Congresses Logic programming
Edition Availability
Cover of: Logic program synthesis and transformation
Logic program synthesis and transformation: proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993
1994, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.
"Published in collaboration with the British Computer Society."

Published in
London, New York
Series
Workshops in computing

Classifications

Dewey Decimal Class
005.1/01/5113
Library of Congress
QA76.63 .I57 1993, QA75.5-76.95

The Physical Object

Pagination
xii, 245 p. :
Number of pages
245

Edition Identifiers

Open Library
OL1433522M
ISBN 10
3540198644, 0387198644
LCCN
93045325
OCLC/WorldCat
29428032
Goodreads
2692361

Work Identifiers

Work ID
OL3956982W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation