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
The 1997 Municipal Elections in Bosnia and Herzegovina
$129.00
Propaganda und Prvention
$69.99
Introduction to Mathematical Analysis
$89.99
BeadChip Molecular Immunohematology
$139.00
Selected Cases from the Supreme Peoples Court of the Peoples Republic of China
$199.99
Modeling Longitudinal Data
$79.99
Foundations of Adaptive Control
$84.99
Baby Animals With Their Families
$21.95
New Challenges in Laparoscopic Urologic Surgery
$109.99
Ideology, Agency, and Intercultural Communicative Competence
$129.99
Intelligent Data Engineering and Automated Learning
$39.99
The Palgrave Handbook of Canada in International Affairs
$219.99
Electrodynamics of the Semiconductor Band Edge
$39.99
Hormone ihr Einfluss auf mein Leben
$19.99
Proceedings of the 7th Indian Young Geotechnical Engineers Conference
$189.00
The Economics of the Global Environment
$179.99
How Likely is Extraterrestrial Life?
$39.99
Transmedia Storytelling and the New Era of Media Convergence in Higher Education
$39.99
The Invention of the Secondary Curriculum
$54.99
Protoplasts 1983
$54.99
Populism and the Politicization of the COVID-19 Crisis in Europe
$54.99
Economics with Heterogeneous Interacting Agents
$99.00
Life in Schools and Classrooms
$169.00
Game Theory for Security and Risk Management
$139.99
Facilitating Conceptual Change in Students Understanding of the Periodic Table
$59.99
A Short Course on Functional Equations
$54.99
Human Benefit through the Diffusion of Information Systems Design Science Research
$84.99
Rotordynamics of Gas-Lubricated Journal Bearing Systems
$84.99
Sustainable Intelligent Systems
$199.99
Keynes and Economic Policy
$54.99
The Seductive Computer
$39.99
How Philosophers Argue
$109.99
From Fourier Analysis and Number Theory to Radon Transforms and Geometry
$169.99
Umweltschutzverpflichtungen in der Rechnungslegung nach HGB und IFRS
$74.99
Five Decades of Tackling Models for Stiff Fluid Dynamics Problems
$109.99
Probability Theory and Applications
$84.99
Erfolgreiche Abschlussarbeiten - Internationale Rechnungslegung
$29.99
Practical OpenCV
$49.99
Language and Manipulation in House of Cards
$129.99
Work-Life Matters
$29.99
