Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings: 12561 (Lecture Notes in Computer Science, 12561) - Image 1

£57.09

Springer Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings: 12561 (Lecture Notes in Computer Science, 12561)

Name: Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings: 12561 (Lecture Notes in Computer Science, 12561)
Brand: Springer
Price: 57.09 GBP
Availability: InStock

AI & Machine Learning

This is the most expensive it has ever been. Walk away.

£57 today · previous high £57 · all-time low £57

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days · 81 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 81 days • 1 price levels

Days at Price

Price Analysis

Most common price: £57 (81 days, 100.0%)

Price range: £57 - £57

Price levels: 1 different prices over 81 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030684458
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 13 February 2021
Listed Since: 24 December 2020

Barcode

No barcode data available

Springer Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings: 12561 (Lecture Notes in Computer Science, 12561)

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings: 13290 (Lecture Notes in Computer Science, 13290)

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings: 13474 (Lecture Notes in Computer Science, 13474)

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, ... (Lecture Notes in Computer Science, 12566)

Machine Learning, Optimization, and Data Science: 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, ... (Lecture Notes in Computer Science, 12565)

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, ... (Lecture Notes in Computer Science, 10895)

Inductive Logic Programming: 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010, Revised Papers: 6489 (Lecture Notes in Computer Science, 6489)

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97, Sendai, Japan, September 23 - 26, 1997, Proceedings: 1281 (Lecture Notes in Computer Science, 1281)

Artificial General Intelligence: 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16–19, 2020, Proceedings: 12177 (Lecture Notes in Computer Science, 12177)

Developments in Language Theory: 30th International Conference, DLT 2026, Rouen, France, June 30 – July 3, 2026, Proceedings: 16578 (Lecture Notes in Computer Science, 16578)

Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings: 14672 (Lecture Notes in Computer Science, 14672)

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)

Business Process Management: 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020, Proceedings: 12168 (Lecture Notes in Computer Science, 12168)

Descriptional Complexity of Formal Systems: 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22–24, 2025, Proceedings: 15759 (Lecture Notes in Computer Science, 15759)

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... (Lecture Notes in Computer Science, 8559)

Chinese Lexical Semantics: 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers: 12278 (Lecture Notes in Computer Science, 12278)

Graph-Based Representation and Reasoning: 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, ... (Lecture Notes in Computer Science, 12879)

Intelligent Computing Theories and Application: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I: 12463 (Lecture Notes in Computer Science, 12463)

Intelligent Computing Methodologies: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III: 12465 (Lecture Notes in Computer Science, 12465)

Algorithmic Game Theory: 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings: 12283 (Lecture Notes in Computer Science, 12283)

Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, ... (Lecture Notes in Computer Science, 11802)

Cognitive Systems and Signal Processing: 5th International Conference, ICCSIP 2020, Zhuhai, China, December 25–27, 2020, Revised Selected Papers: 1397 ... in Computer and Information Science, 1397)

Intelligent Computing Theories and Application: 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II: 12464 (Lecture Notes in Computer Science, 12464)

Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings: 12846 (Lecture Notes in Computer Science, 12846)

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)