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 |
|
$64.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Kind of a Big Deal: El cerebro puede ser la gran cosa
$5.24
New Tide of Natural Product Chemistry
$199.99
ICPER 2020
$129.00
Human Error - by Design?
$54.99
Carbonatite Volcanism
$39.99
Computer Analysis of Sequence Data, Part I
$84.99
Communityorientierung in der Sozialen Arbeit
$49.99
Dynamische nicht-normalisierte Relationen und symbolische Bildbeschreibung
$69.99
Shakespeare and the Solitary Man
$39.99
EU-Turkey Relations
$54.99
Solution of Superlarge Problems in Computational Mechanics
$39.99
The Sun Technology Papers
$109.99
Impact of Arbuscular Mycorrhizas on Sustainable Agriculture and Natural Ecosystems
$39.99
Verfahrensinstrumentarium zur Werkstckauswahl und Auslegung von Industrieroboterschweisystemen
$84.99
Brief
$17.99
The Political Ideas of Leo Strauss, Updated Edition
$54.99
Immuno-Oncology
$199.99
Indirect Pedagogy
$49.99
Emerging Ideas on Information Filtering and Retrieval
$109.99
Ending Medicines Chronic Dysfunction
$59.99
Unifying Themes in Complex Systems IV
$169.99
Recommender Systems for Social Tagging Systems
$54.99
Methods and Applications for Modeling and Simulation of Complex Systems
$54.99
ber die Wirkung von Chloroform-, ther- und Xylolextrakt aus Tuberkelbazillen sowie von Phymatinsal
$54.99
Mechanisms of Polyreactions Polymer Characterization
$39.99
Introduction to Statistics
$39.99
Epistolary Encounters in Neo-Victorian Fiction
$54.99
Das Elterngesprch in der Logopdie bei Mehrsprachigkeit
$17.99
The Tokyo Trial, Justice, and the Postwar International Order
$64.99
Netzwerkeffekte im Medien- und Kommunikationsmanagement
$99.99
Fehlerfolgen im europischen Eigenverwaltungsrecht
$89.00
Gasturbinen und Flugantriebe
$179.00
An Agent-Based Model of Heterogeneous Demand
$59.99
Fortgeschrittene Programmiertechniken in Turbo Pascal
$59.99
Ion Sources
$249.99
Cardiac CT
$99.00
China Satellite Navigation Conference (CSNC) 2013 Proceedings
$259.00
Elektromechanische Kopiersteuerungen
$59.99
Marken in der Politik
$64.99
Hippokrates
$59.99
