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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Stochastic Models, Information Theory, and Lie Groups, Volume 1
$99.99
Sexuality
$54.99
Stress Fractures in Athletes
$89.00
Modern Actuarial Risk Theory
$169.99
Rural Reform and Peasant Income in China
$169.99
Speaking of Gods in Figure and Narrative
$54.99
Self-Assembled Quantum Dots
$169.99
Cystic Fibrosis Pulmonary Infections: Lessons from Around the World
$54.99
Lokale Bildungslandschaften
$39.99
Controlling-Konzepte
$59.99
The Economics of Centralism and Local Autonomy
$84.99
Single Molecular Machines and Motors
$169.99
The Politics, Practices, and Possibilities of Migrant Children Schools in Contemporary China
$99.99
Handbook for Rhizobia
$129.00
Non-equilibrium Dynamics of One-Dimensional Bose Gases
$109.99
Theory of Random Sets
$109.00
Comic Provocations
$54.99
Agiler Vertrieb mit Scrum
$59.99
Vergleichende Neuropathologie des Menschen und der Tiere
$59.99
The World of Economics
$29.99
Development of Magnetic -Ray Spectroscopy
$39.99
Transactional Agents
$39.99
Art, Labour and American Life
$119.99
Computational Aspects of Penetration Mechanics
$109.99
Untersuchungen an einigen Problemen des Tiefziehens II. Teil
$44.99
Children,Family and the State
$109.99
The Palgrave Handbook of Volunteering, Civic Participation, and Nonprofit Associations
$449.99
Computer-Controlled Systems with Delay
$84.99
Systematisierung der Analytik von Faserbegleitstoffen mit Rcksicht auf deren Auswaschbarkeit
$59.99
Complex Analysis and Algebraic Geometry
$34.99
Zeitlose Elemente der Fhrung
$17.99
Love and Death of King Ananda Mahidol of Thailand
$119.99
The Founding Fathers, Education, and "The Great Contest"
$54.99
Advanced Data Mining and Applications
$109.99
Postfeminist Digital Cultures
$159.99
Risk, Decision and Rationality
$259.00
Measuring E-government Efficiency
$109.99
Kennzahlen fr die betriebliche Praxis
$69.99
Japan and the World
$169.99
Die Messung des technischen Fortschritts im Rahmen des gesamtwirtschaftlichen Wachstumsprozesses
$59.99
