Logic based program synthesis and transformation - Info and Reading Options
By LOPSTR 2003 (13th 2003 Uppsala, Sweden)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2003 (13th 2003 Uppsala, Sweden)
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses - Logic design - Computer programs, design
Edition Identifiers:
- The Open Library ID: OL12352451W
AI-generated Review of “Logic based program synthesis and transformation”:
Read “Logic based program synthesis and transformation”:
Read “Logic based program synthesis and transformation” by choosing from the options below.
Search for “Logic based program synthesis and transformation” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Logic based program synthesis and transformation” in Libraries Near You:
Read or borrow “Logic based program synthesis and transformation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logic based program synthesis and transformation” at a library near you.
Buy “Logic based program synthesis and transformation” online:
Shop for “Logic based program synthesis and transformation” on popular online marketplaces.
- Ebay: New and used books.