Logic program synthesis and transformation-- Meta-programming in Logic

4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by Open Library Bot
April 28, 2010 | History

Logic program synthesis and transformation-- Meta-programming in Logic

4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
450

Buy this book

Book Details


Edition Notes

Includes bibliographical references and index.

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 883

Classifications

Dewey Decimal Class
005.1/1
Library of Congress
QA76.73.L59 I57 1994, QA75.5-76.95

The Physical Object

Pagination
ix, 450 p. :
Number of pages
450

Edition Identifiers

Open Library
OL1117779M
ISBN 10
3540587926
LCCN
94043960
Goodreads
6786924

Work Identifiers

Work ID
OL3522115W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON