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
Market Entry in China
$79.99
Socioeconomic Effects of the National Flood Insurance Program
$54.99
Laser Applications in Medicine and Biology
$219.99
Physik-Manga
$39.99
Quick Flora Mallorca
$24.99
Diseases of the Pituitary
$169.99
Vernderungsmanagement in Bundesministerien
$79.99
The Alpheidae from China Seas
$249.99
Die Kfer Mitteleuropas, Bd. 6: Diversicornia (Lycidea-Byrrhidae)
$179.99
Indigenousness in Africa
$39.99
Formality Theory
$64.99
Cross-National Research in Self-Reported Crime and Delinquency
$219.99
Handbook Positive Health in Primary Care
$64.99
Guns, Gun Violence and Gun Homicides
$119.00
Tunable Materials with Applications in Antennas and Microwaves
$49.99
Bertolt Brechts Erfolgsmarke
$19.99
Gynecologic and Obstetric Pathology, Volume 2
$249.99
Foundational Reflections
$129.00
Melancholie
$69.99
Highly Effective Behavior of Financial Consultants
$54.99
Inklusion, Diversitt und Heterogenitt
$89.99
Right Hemisphere Contributions to Lexical Semantics
$54.99
Equivalence in Financial Services
$159.99
Strategische Erfolgsfaktoren der Diversifikation
$74.99
Environmental Advocacy and Local Restorations
$139.99
Superconducting Electron-Optic Devices
$84.99
Software-Implemented Hardware Fault Tolerance
$169.99
Die Sicherheit im Luftverkehr
$59.99
Perspectives on Justice, Indigeneity, Gender, and Security in Human Rights Research
$119.00
Women and Fluid Identities
$39.99
Therapeutic Applications of Mesenchymal Stem Cells in Veterinary Medicine
$179.99
Restoration Historians and the English Civil War
$109.99
Grundlagen der Bewertung von Optionen und Optionsscheinen
$44.99
Intraoperative Imaging and Image-Guided Therapy
$219.99
Titanosaur
$7.46
Artificial Intelligence and Soft Computing
$109.99
Fat Bodies, Health and the Media
$39.99
Fluid Flow and Heat Transfer in Rotating Porous Media
$54.99
Vehicle Suspension System Technology and Design
$19.99
Complications in Uveitis
$109.99
