Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018. The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.
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
Planar Circuits for Microwaves and Lightwaves
$39.99
Emerging Frontiers in Nonlinear Science
$199.99
Optimizing the "Drug-Like" Properties of Leads in Drug Discovery
$169.00
Beratung in Vernderungsprozessen
$64.99
The Physics of Hydrogenated Amorphous Silicon I
$39.99
Chemistry of Natural Protein Fibers
$84.99
Robot Motion and Control 2007
$169.99
Metaphysics
$54.99
Screening the World
$99.99
Italian Birds of Passage
$54.99
Swasserflora von Mitteleuropa, Bd. 16: Chlorophyta VIII
$179.99
Regionale Gromchte
$44.99
Reinforcement Learning-Enabled Intelligent Energy Management for Hybrid Electric Vehicles
$37.99
Marvin Gets Mad!
$4.46
Professionalisierungsprozesse von Lehrerinnen und Lehrern
$49.99
Frontiers and Progress in Multiphase Flow I
$84.99
Privacy-Preserving Machine Learning for Speech Processing
$84.99
Linear Theories of Elasticity and Thermoelasticity
$139.00
Color Atlas of Chemical Peels
$169.00
The TEACCH Approach to Autism Spectrum Disorders
$109.00
Geometries of Anamorphic Illusions
$84.99
Methodology of the Evaluation of Psychotropic Drugs
$84.99
Scattering Amplitudes in Quantum Field Theory
$49.99
Modernizing the Academic Teaching and Research Environment
$109.99
Strategisches und operatives Logistikmanagement: Prozesse
$39.99
The European Union as International Mediator
$79.99
Cinema, Cross-Cultural Collaboration, and Criticism
$54.99
Grundkurs Mobile Kommunikationssysteme
$44.99
Cohabitation, an alternative to marriage?
$39.99
CMOS Telecom Data Converters
$219.99
An Introduction to Statistical Learning
$99.99
The Berge Equilibrium: A Game-Theoretic Framework for the Golden Rule of Ethics
$99.00
Germ Cell Tumours V
$39.99
Immobilisierte Biokatalysatoren
$84.99
Practical Aspects of Declarative Languages
$69.99
Colour Vision Deficiencies XI
$329.99
PET and SPECT in Psychiatry
$229.00
The Many-Sidedness of George Minchin Minchin
$89.00
Task Scheduling for Multi-core and Parallel Architectures
$79.99
Semiotics of Exile in Contemporary Chinese Film
$39.99
