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:
Buy Logic-Based Program Synthesis and Transformation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Agricultural Biotechnology in China
$109.99
Kurzes Lehrbuch der Kolloidchemie
$39.99
In guter Gesellschaft?
$19.95
Nursing Management of Pediatric Disaster
$54.99
Logische Grundlagen der Mathematik
$19.99
Growth Hormone Deficiency
$84.99
Hoffnung als Prinzip
$69.99
We're Going on a Lion Hunt
$5.96
Experimental Business Research
$84.99
Digitalisierung des Bauschaffens
$54.99
Industrielle Keramik
$64.99
Vormrz und Zeitbrgertum
$39.99
In Search of a New Relationship
$54.99
Foundations of Bayesianism
$169.99
Politische Geschichte der Gegenwart
$59.99
Proceedings of the 10th International Conference on Advanced Intelligent Systems and Informatics 202
$199.99
Advances in Speech Recognition
$169.99
When Puberty is Precocious
$219.99
Dynamisches Kommunikationsmanagement
$49.99
New Trends in Quantum Structures
$109.99
Formal Analysis for Natural Language Processing: A Handbook
$249.99
Recent Advances in the Message Passing Interface
$39.99
Self-Organizing Systems
$54.99
Fluid Mechanics of Viscoplasticity
$99.00
Schwarzenegger
$109.99
Innovationen in der Unternehmenspraxis
$69.99
The Political Economy of the Low-Carbon Transition
$129.99
Gerechtigkeit bei der Beschwerdebehandlung
$64.99
Thermochemical and Catalytic Conversion Technologies for Future Biorefineries
$169.99
Capacity Building for the Planning, Assessment and Systematic Observations of Forests
$109.99
Simone Weil, Beyond Ideology?
$129.99
Chefsache Erfolg
$29.99
Device Physics, Modeling, Technology, and Analysis for Silicon MESFET
$84.99
Ultimate Read-Aloud Collection Grade 3
$578.00
Blockchain, Artificial Intelligence, and the Internet of Things
$59.99
Unlocking the Palestinian-Israeli Negotiations
$54.99
Einfhrung in die Mediation
$17.99
Brown Adipose Tissue
$169.00
Media, Sustainability and Everyday Life
$139.99
International Intervention in Ethnic Conflict
$39.99
