Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.
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
|
|
$64.99 | $64.99 |
|
$58.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Aging Brain
$109.99
Advances in Intelligent Systems and Computing IV
$129.00
Statistical Handbook of United Kingdom Agriculture
$54.99
Das Ende in der Psychotherapie erfolgreich gestalten
$39.99
Mediation
$17.99
Medien und konomie
$17.99
From Suns to Life: A Chronological Approach to the History of Life on Earth
$84.99
Speaking in Court
$129.99
Verification and Evaluation of Computer and Communication Systems
$54.99
The Human Being in Action
$169.99
Diversity of Urban Inclusivity
$119.00
Information Technology and Systems
$329.99
Path of Night (Chilling Adventures of Sabrina, Novel 3)
$7.49
The Quantum Dice
$379.99
Die industrielle Produktivitt in neuerer Sicht
$59.99
Chemische Lebensmittelkonservierung
$229.99
Law and Tradition in Classical Islamic Thought
$129.99
Digital Rights Management
$109.99
Vermchtnisse von David Cranz' "Historie von Grnland" (1765)
$119.99
High Energy Polarized Proton Beams
$169.99
This Silence Must Now Speak
$84.99
Youth Culture and Private Space
$54.99
GI-NTG Fachtagung Struktur und Betrieb von Rechensystemen
$9.99
Emotional Settings in Early Modern Pedagogical Culture
$54.99
Function and Class in Linguistic Description
$109.00
Bodies, Love, and Faith in the First World War
$119.99
AI in Business: Opportunities and Limitations
$219.99
Theory of Vibration Protection
$129.00
Imaging Spectrometry -- a Tool for Environmental Observations
$219.99
The Patagonian Shelfbreak Front
$179.99
Safety of Meat and Processed Meat
$219.99
Soft Computing: State of the Art Theory and Novel Applications
$109.99
Beginning Rails
$24.99
Circulation and Contaminant Fluxes in the North Sea
$84.99
Logics in Artificial Intelligence
$39.99
Arzneiverordnungs-Report 2004
$49.99
Mass Customization and Sustainability
$169.99
Sensoren in Wissenschaft und Technik
$49.99
Narrating Citizenship and Belonging in Anglophone Canadian Literature
$49.99
Society and Social Pathology
$129.99
