Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Logic-Based Program Synthesis and Transformation
Best Price (Coupon Required):
Buy Logic-Based Program Synthesis and Transformation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Reviews
Questions & Answers
Security, Privacy, and Anonymity in Computation, Communication, and Storage
$74.99
Postbuckling Behavior of Structures
$54.99
The Ecology of Reproduction in Wild and Domestic Mammals
$54.99
Diagnosis and Therapy of Coronary Artery Disease
$129.00
Aging Friendly Technology for Health and Independence
$39.99
Humankapitalbeitrge zur internationalen Wettbewerbsfhigkeit
$79.99
Lehrbuch der zeitgemen Vorkalkulation im Maschinenbau
$44.99
Congenital Vascular Malformations
$179.99
Valuing and Selling Your Business
$24.99
Ireland, Memory and Performing the Historical Imagination
$54.99
Britains Informal Empire in Spain, 1830-1950
$139.99
Medienworkflow
$17.99
The Wretched of the Global South
$179.99
Narratives from Beyond the UK Reggae Bassline
$139.99
Cell Fusion
$109.99
Decoding Astronomy in Maya Art and Architecture
$37.99
Polyelectrolytes Hydrogels Chromatographic Materials
$39.99
Stochastic Processes
$54.99
Migration, Refugees and Human Security in the Mediterranean and MENA
$159.99
Institutions, Governance and the Control of Corruption
$29.99
Bacterial Infection: Close Encounters at the Host Pathogen Interface
$109.99
Chemotherapie
$59.99
Nasopharyngeal Cancer
$129.99
Alterations of Metabolites in the Nervous System
$109.99
Border Ecology
$89.00
Ancient Greece (A True Book: Ancient Civilizations)
$5.21
Algorithms for Computational Biology
$54.99
Neglected Tropical Diseases - Oceania
$169.99
Internet - Technical Development and Applications
$129.00
Polynomial and Matrix Computations
$169.99
A Moral Defense of Prostitution
$109.99
Analysis of Safety Data of Drug Trials
$109.99
CSR und Marketing
$29.99
Skylab
$54.99
Credit Guarantee Institutions and SME Finance
$84.99
Mathematische Physik: Klassische Mechanik
$49.99
Grundlagen der Periodenrechnung von Versicherungsunternehmen
$64.99
Notfallmedizin
$19.99
Complex Systems, Smart Territories and Mobility
$199.99
Aging and Cell Function
$54.99
