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
Number Theoretic Methods in Cryptography
$54.99
Hybrid Systems Biology
$44.99
Kunststoffe
$59.99
The Comprehensive Handbook of Behavioral Medicine
$54.99
Instrumental Methods of Chemical Analysis
$89.00
Decision Support in Organizational Transformation
$129.00
The Internet of Things Entrepreneurial Ecosystems
$64.99
Die Finanzierung betrieblicher Weiterbildungsinvestitionen
$59.99
Chefsache Social Media Marketing
$29.99
Host-Plant Selection by Phytophagous Insects
$219.99
Chile 197073: Economic Development and its International Setting
$54.99
Strategieplanung fr die Technische EDV
$59.99
Feminism and Voluntary Action
$54.99
Systemtheorie fr regellose Vorgnge
$39.99
Advances in the Free-Lagrange Method
$99.00
Formal Techniques for Networked and Distributed Systems - FORTE 2002
$39.99
Long Term Economic Development
$84.99
The Implementation of Smart Technologies for Business Success and Sustainability
$169.99
Privates Sparen versus Sozialversicherung
$69.99
Current Sense Amplifiers for Embedded SRAM in High-Performance System-on-a-Chip Designs
$109.99
Auskultation des Herzens
$69.99
Physik
$79.99
Strategien des Personalmarketing
$59.99
Elektomobilitt - Potenziale und wissenschaftlich-technische Herausforderungen
$29.99
Signal and Information Processing, Networking and Computers
$329.99
Advanced Power Applications for System Reliability Monitoring
$119.99
Does Carbon-Conscious Behavior Drive Firm Performance?
$54.99
Civil Society in Japan
$54.99
Machine Learning and Principles and Practice of Knowledge Discovery in Databases
$79.99
Digital Marketing Strategies for Value Co-creation
$119.99
Theory and Practice of Direct Methods in Crystallography
$39.99
Fuel Tank Sloshing Simulation Using the Finite Volume Method
$39.99
Problem-Based Learning in Elementary School
$59.99
Gefintervention
$59.99
Alternierende Telearbeit
$44.99
Fachbergreifende Aspekte der Hmostaseologie II
$69.99
Gracias!
$2.96
The Complex Variable Boundary Element Method in Engineering Analysis
$84.99
HIV/AIDS in U.S. Communities of Color
$54.99
Finite Volumes for Complex Applications XVolume 2, Hyperbolic and Related Problems
$249.99
