Logic-based program synthesis and transformation - Info and Reading Options
By International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
“Logic-based program synthesis and transformation” Metadata:
- Title: ➤ Logic-based program synthesis and transformation
- Author: ➤ International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Logic, symbolic and mathematical - Computer science - Logic design - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL11584445W
AI-generated Review of “Logic-based program synthesis and transformation”:
"Logic-based program synthesis and transformation" Description:
The Open Library:
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.
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.