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
Algorithmic Aspects of Cloud Computing
$60.00
Social Data Science Xennials
$64.99
Spirits without Borders
$54.99
Building an Intuitive Multimodal Interface for a Smart Home
$54.99
Rechnungswesen in Kulturbetrieben
$44.99
Design and Production of Multimedia and Simulation-based Learning Material
$84.99
Pro Java 6 3D Game Development
$54.99
Instrumente sozial-kologischer Folgenabschtzung im Betrieb
$59.99
A Basic Course in Probability Theory
$44.99
Bioactive Heterocycles II
$219.99
Aphasia Treatment
$39.99
Sampling Designs Dependent on Sample Parameters of Auxiliary Variables
$79.99
Effektiv Programmieren in C
$59.99
Approaching Infinity
$119.99
Universal Jurisdiction: The Sierra Leone Profile
$54.99
Montrose Colors Three Little Twigs Animals Of The World Coloring Books Bundle
$22.99
Financial Determinants of High-Growth Companies
$54.99
Curious George: Museum Mystery
$3.71
Collaborative Humanities Research and Pedagogy
$109.99
Hausfamilien
$59.99
Shelleys Poetic Thoughts
$169.99
Automotive Engine Alternatives
$169.99
Compliance and Resistance Within Neoliberal Academia
$64.99
Glyco-Engineering
$109.99
Einfhrung in die Roboterprogrammierung
$69.95
Infant Brain Development
$99.00
Strategic Changes and Organizational Reorientations in Local Government
$109.99
Sustainable Agriculture Reviews
$219.99
Topology of Singular Spaces and Constructible Sheaves
$109.99
Generationen und sozialer Wandel
$64.99
Erfolgreiches Business Model Development fr Grndungen
$17.99
Controlling & Management Review Sonderheft 3-2014
$59.99
Earthworms and Vermicomposting
$129.99
Konjunktur- und Wachstumspolitik in der offenen Wirtschaft
$59.99
From Apes to Cyborgs
$37.99
Solution Manual for Mechanics and Control of Robots
$39.99
Food Hydrocolloids
$39.99
66.-67. Jahresbericht des Sonnblick-Vereines fr die Jahre 1968/1969
$6.99
Thin Film and Flexible Thermoelectric Generators, Devices and Sensors
$54.99
Canadian Education
$49.99
