We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£81.90
Springer Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings: 5330 (Lecture Notes in Computer Science, 5330)
Price data last checked 80 day(s) ago - refreshing...
Price History & Forecast
Last 11 days • 11 data points (No recent data available)
Price Distribution
Price distribution over 11 days • 2 price levels
Current Price
Price Analysis
Most common price: £82 (7 days, 63.6%)
Price range: £82 - £85
Price levels: 2 different prices over 11 days
Description
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3540894381
- Domain
- Amazon UK
- Release Date
- 13 November 2008
- Listed Since
- 22 October 2008
Barcode
No barcode data available
Similar Products You Might Like
94% match
Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, ... (Lecture Notes in Computer Science, 3452)
Springer
£66.33
04 Mar 2026
93% match
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings: 5366 (Lecture Notes in Computer Science, 5366)
Springer
£81.34
27 Feb 2026
91% match
Logic Programming: A Classified Bibliography
Springer
£83.18
17 Apr 2026
91% match
Automata, Languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings: 317 (Lecture Notes in Computer Science, 317)
Springer
£89.18
08 Mar 2026
91% match
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings: 4130 (Lecture Notes in Computer Science, 4130)
Springer
£59.92
27 Feb 2026
91% match
Knowledge-Based Intelligent Information and Engineering Systems: 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, ... II: 5178 (Lecture Notes in Computer Science)
Springer
£160.06
05 Mar 2026
90% match
LATIN 2008: Theoretical Informatics: 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings: 4957 (Lecture Notes in Computer Science, 4957)
Springer
£29.13
05 Mar 2026
90% match
Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I: 9134 (Lecture Notes in Computer Science, 9134)
Springer
£77.19
13 Apr 2026
90% match
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Springer
£62.45
28 Feb 2026
90% match
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
£105.00
26 Feb 2026
90% match
Intelligent Robotics and Applications: First International Conference, ICIRA 2008 Wuhan, China, October 15-17, 2008 Proceedings, Part I: 5314 (Lecture Notes in Computer Science, 5314)
Springer
£103.26
08 Mar 2026
90% match
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
£103.91
28 Feb 2026
90% match
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings: 12678 (Lecture Notes in Computer Science, 12678)
Springer
£70.72
10 Mar 2026
90% match
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)
Springer
£103.24
08 Jan 2026
90% match
Proceedings of the 12th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2020): 1383 (Advances in Intelligent Systems and Computing, 1383)
£136.74
11 Jan 2026
90% match
Research and Development in Intelligent Systems XXV: Proceedings of AI-2008, The Twenty-eighth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence: 25
Springer
£149.30
07 Feb 2026
90% match
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
Springer
£64.59
21 Feb 2026
90% match
Innovations in Applied Artificial Intelligence: 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence ... (Lecture Notes in Computer Science, 3533)
Springer
£23.06
22 Feb 2026
90% match
Quantitative Logic and Soft Computing: Vol 2: 82 (Advances in Intelligent and Soft Computing, 82)
Springer
£180.00
24 Jan 2026
90% match
Product Lifecycle Management in the Era of Internet of Things: 12th IFIP WG 5.1 International Conference, PLM 2015, Doha, Qatar, October 19-21, 2015, ... and Communication Technology, 467)
Springer
£113.39
10 Mar 2026
90% match
Quantitative Logic and Soft Computing 2016: Proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held ... in Intelligent Systems and Computing, 510)
Springer
£149.87
01 Feb 2026
90% match
Information Retrieval Technology: 4th Asia Information Retrieval Symposium, AIRS 2008, Harbin, China, January 15-18, 2008, Revised Selected Papers: 4993 (Lecture Notes in Computer Science, 4993)
Springer
£37.26
10 Mar 2026
90% match
Lecture Notes in Computational Intelligence and Decision Making: Proceedings of the XV International Scientific Conference “Intellectual Systems of ... in Intelligent Systems and Computing, 1020)
Springer
£107.42
08 Mar 2026
90% match
Computer and Information Science: 131 (Studies in Computational Intelligence, 131)
Springer
£57.97
08 Mar 2026