Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
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.
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 |
Reviews
Questions & Answers
Unsere Spechte und ihre forstliche Bedeutung
$79.99
Physik mit dem PC
$49.99
STEM, Social Mobility and Equality
$54.99
We Are in an Art-ivity Book by Mo Willems
$14.99
Flux Coordinates and Magnetic Field Structure
$129.00
Dose-Finding Designs for Early-Phase Cancer Clinical Trials
$64.99
Algebra
$49.99
Freedom Train
$5.24
Models of Depressive Disorders
$54.99
Language, Logic and Epistemology
$54.99
Environmental Flotation Engineering
$179.99
AIDS-Associated Viral Oncogenesis
$169.99
Kommunikation Medien Konstruktion
$34.99
Introduction to Solid Mechanics
$54.99
The New Aspects of Time
$169.99
Peppa Pig: George's Race Car
$3.74
Our Universe Grades PreK-2
$33.00
Advances in Cryptology EUROCRYPT 2021
$109.00
My Books Every Day Self-Awareness Grade 5-Classroom Set
$636.95
Strategic Decision Making in Modern Manufacturing
$39.99
Audio Drama Modernism
$109.99
Social Media fr Fhrungskrfte
$29.99
Molecular Histochemical Techniques
$89.00
Science, Engineering Management and Information Technology
$84.99
Leadership in Surgery
$109.99
Construction of Global Lyapunov Functions Using Radial Basis Functions
$34.99
Recycling von Wasserlackoverspray durch Elektrophorese
$79.99
Putting Social Media and Networking Data in Practice for Education, Planning, Prediction and Recomme
$109.99
Allgemeine Haftpflichtversicherung
$59.99
The Berenstain Bears and the Tooth Fairy
$3.00
Gesundheitsvorsorge mit TCM
$74.99
Wissen und Wissenssurrogate
$59.99
Europes Economic Future
$69.99
Biographien von Pflanzensippen
$84.99
Gedanken ber die Seele
$59.99
Practical Gastrointestinal Pathology
$139.99
Scientific Philosophy Today
$219.99
ESSDERC 89
$54.99
African American Servitude and Historical Imaginings
$54.99
Jenseits der ko-Nische
$74.99
