Logic-based program synthesis and transformation - Info and Reading Options
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers
By International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
"Logic-based program synthesis and transformation" was published by Springer in 1999 - Berlin, it has 330 pages and the language of the book is English.
“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)
- Language: English
- Number of Pages: 330
- Publisher: Springer
- Publish Date: 1999
- Publish Location: Berlin
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Logic, symbolic and mathematical - Computer science - Logic design - Artificial intelligence - Conference papers and proceedings
Edition Specifications:
- Pagination: x, 330 p. ;
Edition Identifiers:
- The Open Library ID: OL15463513M - OL11584445W
- Online Computer Library Center (OCLC) ID: 40939966 - 504320159
- Library of Congress Control Number (LCCN): 99014668
- ISBN-13: 9783540657651
- ISBN-10: 3540657657
- All ISBNs: 3540657657 - 9783540657651
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.
Borrow "Logic-based program synthesis and transformation" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: restricted
- Check if available: The Open Library & The Internet Archive
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.