We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£75.47
Springer Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
Price data last checked 53 day(s) ago - refreshing...
Price History & Forecast
Last 38 days • 38 data points (No recent data available)
Price Distribution
Price distribution over 38 days • 3 price levels
Current Price
Price Analysis
Most common price: £76 (19 days, 50.0%)
Price range: £75 - £76
Price levels: 3 different prices over 38 days
Description
This book contains papers presented at the Symposium on Computational Logic held during the 7th ESPRIT Conference. Ten leading researchers in computational logic were invited to contribute papers. The papers range from some on specialized research topics to some which give an overview and a glimpse into the future of computational logic. A major theme of the symposium was the likely future impact of computational logic, and there was a panel session on the topic "Programming in 2010: the Role of Computational Logic". The position papers of the panelists are included in the book. The book will be of interest to researchers and graduate students in logic programming, database systems, artificial intelligence, and software engineering. This volume is the first of the ESPRIT Basic Research Series. The ESPRIT Basic Research efforts aim at forging strong links between European academic and industrial teams carrying out research, often interdisciplinary, at the forefront of information technology. The quality of content of this series and its broad distribution should have a major impact in making these advances accessible to both academic and industrial researchers.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 364276276X
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 13 December 2011
- Listed Since
- 13 July 2012
Barcode
No barcode data available
Similar Products You Might Like
93% match
Logic Programming: A Classified Bibliography
Springer
£83.18
17 Apr 2026
92% match
Natural Language and Speech: Symposium Proceedings Brussels, November 26/27, 1991 (ESPRIT Basic Research Series)
Springer
£75.52
14 Feb 2026
91% match
Springer Parallel and Constraint Logic Programming Book 876
Springer
£113.92
18 Apr 2026
91% match
Logic for Applications (Texts in Computer Science)
Springer
£108.11
11 Jan 2026
91% match
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)
Springer
£103.24
08 Jan 2026
91% 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
Intelligent Computing: Proceedings of the 2019 Computing Conference, Volume 1: 997 (Advances in Intelligent Systems and Computing, 997)
Springer
£150.59
11 Jan 2026
91% match
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)
Springer
£103.89
09 Mar 2026
91% match
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
£103.00
07 Mar 2026
91% match
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
£76.14
08 Apr 2026
91% match
Logic of Computation: SER F / v.157 (NATO ASI)
Springer
£80.56
26 Feb 2026
91% match
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
£111.23
04 Feb 2026
91% match
Handbook of Philosophical Logic: Volume 14
Springer
£144.71
10 Mar 2026
91% match
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
£103.91
28 Feb 2026
91% match
Handbook of Philosophical Logic: Volume 13
Springer
£149.64
05 Apr 2026
91% 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
91% match
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
£77.43
28 Feb 2026
91% match
Handbook of Philosophical Logic: Volume 10
Springer
£96.68
13 Jan 2026
91% match
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)
Springer
£84.97
28 Feb 2026
91% match
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)
Springer
£89.95
08 Mar 2026
90% match
Handbook of Philosophical Logic: Volume 8
Springer
£117.45
26 Feb 2026
90% match
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
£154.95
13 Jan 2026
90% match
Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
Springer
£118.45
13 Jan 2026
90% match
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
£59.19
11 Feb 2026