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
Scripting Farming Simulator with Lua
$49.99
Linear Time Series with MATLAB and OCTAVE
$159.99
Spielmotive und Spielertypen abseits des Mainstreams
$37.99
The Musical Crowd in English Fiction, 1840-1910
$54.99
Das soziale Bewutsein von Konsumenten
$69.99
Ethnicity and Economy
$109.99
Logic, Language, Information and Computation
$39.99
Berufsbedingte Erkrankungen bei Musikern
$74.99
Architecture of Computing Systems ARCS 2018
$54.99
Handbook of Turbulence
$84.99
Towards a Social Ecology
$84.99
Evidence-Based Practice: Toward Optimizing Clinical Outcomes
$59.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
Plant Cold Hardiness
$169.99
The Molecular Biology of Poliovirus
$129.00
Chirurgie hat Zukunft
$17.99
Anstze eines Global Health Systems oder Krisenmanagement in der COVID-19 Pandemie
$64.99
Public Health Microbiology
$89.00
Advances in Satellite Technologies
$249.99
The Philosophy of Lines
$119.99
Klimaschutzpolitik - Das Ende der Komfortzone
$24.99
Soziologische Denkschulen in der Bundesrepublik Deutschland
$64.99
Antimalarial Drugs I
$84.99
Verhinderung von Zwang
$24.99
Conflicting Philosophies of Education in Israel/Palestine
$54.99
Nanostructured Materials for Energy Related Applications
$109.99
Jugend zwischen Familie und Schule
$49.99
Schlaglichter II - MS Pflegekrfte im Einsatz fr Patienten
$17.99
Molecular Modeling and Multiscaling Issues for Electronic Material Applications
$109.99
Methods in Bone Biology
$169.00
Integrated Electronic Payment Technologies for Smart Cities
$169.99
The ageing population, pensions and contractual savings
$54.99
Wind-Excited Vibrations of Structures
$139.99
Advancing the Technology of Bileaflet Mechanical Heart Valves
$109.99
Erkenntniskritische Sozialisationstheorie
$89.99
Dynamic Profiles for Voting Advice Applications
$109.99
SAP UI Frameworks for Enterprise Developers
$44.99
Gleichstellungsorientierte Arbeit mit Mdchen und jungen Frauen
$64.99
New Directions in Paraconsistent Logic
$169.99
Photosynthesis in Algae
$259.00
