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
Endophthalmitis
$84.99
Information Theoretic Security
$54.99
Ordnung und Verzierung
$64.99
rztliche Werthaltungen gegenber nichteinwilligungsfhigen Patienten
$44.99
Behavioural Models
$54.99
Supply Chain Controlling in Theorie und Praxis
$59.99
Urolithiasis in Clinical Practice
$59.99
Software Engineering Education in the Modern Age
$54.99
Bulk Solids Handling
$329.99
Grundzge zu einer Wissenschaftlichen Theorie des Freihandels
$54.99
Baltic-Black Sea Regionalisms
$159.99
Developing an Appropriate Contaminated Land Regime in China
$109.99
Klassische Physik
$49.99
Skater Cielo (Hardcover)
$14.24
School Inspectors
$129.99
Nutrition and Diet in Maternal Diabetes
$249.99
Morbus Parkinson Selegilin (R-()-Deprenyl); Movergan
$54.99
Ein Beitrag zur Medatenverarbeitung in der Koordinatenmetechnik
$64.99
Advanced Materials for Radiation Detection
$99.99
Introduction to Muon Spin Spectroscopy
$99.99
Bioelectrochemical Systems
$109.99
Reviews of Physiology, Biochemistry and Pharmacology 110
$84.99
Returning Foreign Fighters: Responses, Legal Challenges and Ways Forward
$169.99
Freedom and Restriction in Science and its Aspects in Society
$54.99
A Gendered Lens for Genocide Prevention
$129.99
Mathematische Edelsteine
$59.99
Protocols for In Vitro Propagation of Ornamental Plants
$89.00
Three Decades of Enterprise Culture?
$54.99
Causality in Sociological Research
$39.99
Contemporary Drama and the Popular Dramatic Tradition in England
$54.99
One-Dimensional Mesoporous Inorganic Nanomaterials
$179.99
Den Wettbewerb im Energiesektor planen
$69.99
Globalization, Regionalization and Business
$54.99
Handbook of Ceramic Composites
$449.99
Epidemiology and the Delivery of Health Care Services
$39.99
Bisphosphonattherapie von Knochenerkrankungen
$59.99
Surgery of the Pelvic and Sacral Tumor
$169.99
Jahresbericht ber die Beobachtungs-Ergebnisse
$59.99
Perovskite Solar Cells
$199.99
Independent Reading Library: Level Q (45 Books)
$250.00
