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
Man within His Life-World
$259.00
Clinical Benefits of Leukodepleted Blood Products
$39.99
Agroecology Now!
$32.99
Computational Pathology and Ophthalmic Medical Image Analysis
$39.99
Ant Algorithms
$54.99
Studien zur Phnomenologie 19301939
$69.99
Der Ewige Kreislauf des Weltalls
$59.99
Service-Oriented Mapping
$179.99
Networks
$129.00
Evolutionary Gerontology and Geriatrics
$169.99
Heimarbeit
$59.99
Political Leaders and Changing Local Democracy
$199.99
Applied Multi-objective Optimization
$199.99
ber die ergonomische Bedeutung der rumlichen Lage kreisbogenfrmiger Bewegungsbahnen von Bettigun
$59.99
Financing High-Tech Startups
$109.99
Steuerung im Bildungswesen
$37.99
Clinical Ethics and the Necessity of Stories
$169.99
Image Technology
$219.99
Anatomy and Imaging of the Cranial Nerves
$74.99
New Technologies in Radiation Oncology
$169.00
Ratings
$109.99
Mathematische Physik: Klassische Mechanik
$44.99
Sexueller Missbrauch und Misshandlungen in der Benediktinerabtei Ettal
$64.99
Fairy Tales, Natural History and Victorian Culture
$129.99
Liminal Fictions in Postmodern Culture
$54.99
Introduction to System Reliability Theory
$84.99
Sammlung der Bestimmungen ber die Prfung der Nahrungsmittel-Chemiker fr das Deutsche Reich und di
$59.99
Voting in a Hybrid Regime
$64.99
kophysik
$69.99
Thermal Imaging Systems
$219.99
Die Spur der Macht im Verhltnis der Geschlechter
$69.99
Functional Coherence of Molecular Networks in Bioinformatics
$169.99
Health, Technology and Society
$84.99
Hyperspherical Harmonics
$129.00
Unexpected Talkers (Learn About: Animals)
$5.24
Cytologic Detection of Urothelial Lesions
$99.99
Kompendium der Mediengestaltung fr Digital- und Printmedien
$59.99
Software Engineering for Self-Adaptive Systems III. Assurances
$54.99
Erfolgreiche Zusammenschlustrategien
$49.99
The Complete Book of Calligraphy & Lettering
$22.35
