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
An Axiomatic Approach to Geometry
$159.99
Frderung der Unterrichtsplanungskompetenz angehender Lehrkrfte durch den Einsatz (meta-)kognitiver
$89.99
Nucleic Acids Hybridization
$129.00
China Satellite Navigation Conference (CSNC 2021) Proceedings
$299.99
Mycotoxins and Food Safety
$169.99
Sociocybernetics
$54.99
Intelligent Tutoring Systems
$54.99
Projektkostenschtzung
$74.99
The Roles of the United States, Russia and China in the New World Order
$74.99
Leistungscontrolling fr komplexe Leistungen
$64.99
Calculus and Analysis in Euclidean Space
$69.99
Nutzenorientiertes Pricing von Messeleistungen
$79.99
Systems for Sustainability
$259.00
A World After Climate Change and Culture-Shift
$109.99
Structural Design Guide to the ACI Building Code
$169.99
Arvo Prt zwischen Ost und West
$39.99
Inclusive Smart Cities and Digital Health
$54.99
Wetting Phenomena
$39.99
Advanced Computational Methods for Knowledge Engineering
$84.99
Lung Cancer Screening
$54.99
ber lymphoepitheliale Geschwlste
$69.99
Learning Theory
$109.99
100 Task Cards in a Box: Informational Text
$23.99
Codes on Algebraic Curves
$169.99
Dynamic Timing Decisions Under Uncertainty
$54.99
The Poems
$39.99
Das Pirquetsche System der Ernhrung
$59.99
Malignant Tumors in Organ Transplant Recipients
$84.99
Linear Operators and Approximation II / Lineare Operatoren und Approximation II
$69.99
Chefsache Weiterbildung
$29.99
Biomass and Bioenergy
$129.00
Bauformen des Erzhlens
$59.99
Giorgio Agamben: Education Without Ends
$39.99
Transzendentale Genesis des Bewusstseins und der Erkenntnis
$139.99
Mouse Oocyte Development
$109.99
Pattern Recognition and Image Analysis
$109.99
Searching for Literacy
$39.99
Synchronization Design for Digital Systems
$109.99
Functionalized Conjugated Polyelectrolytes
$54.99
Urban Models and Public-Private Partnership
$84.99
