Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) - Image 1

£107.61

Springer Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Name: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Brand: Springer
Price: 107.32 GBP
Availability: InStock

Compilers

Price History & Forecast

Last 85 days • 85 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £111 (83 days, 97.6%)

Price range: £107 - £111

Price levels: 2 different prices over 85 days

Description

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1441929053
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 21 September 2011
Listed Since: 01 October 2010

Barcode

No barcode data available

Springer Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Sets for Mathematics

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Universality in Set Theories: A Study in Formal Ontology: 36 (Philosophische Analyse / Philosophical Analysis, 36)

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Artificial Intelligence and Sustainable Computing: Proceedings of ICSISCET 2021 (Algorithms for Intelligent Systems)

An Introduction to Mathematical Reasoning: Numbers, Sets and Functions

Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings: 5589 (Lecture Notes in Computer Science, 5589)

Proceedings of the Second International Conference on Aeronautical Sciences, Engineering and Technology Vol:2: Proceedings of ICASET 2025 Vol: 2 (Lecture Notes in Mechanical Engineering)

Emerging Research in Intelligent Systems: Proceedings of the ESPE CIT 2025 Volume 3 (Lecture Notes in Networks and Systems, 1881)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

Advances in Civil Engineering and Environmental Engineering SET: Proceedings of the 4th International Conference on Civil Engineering and ... 2022), Shanghai, China, 26–28 August 2022

Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)

Proceedings of the Satellite Workshops of ICVGIP 2021: 924 (Lecture Notes in Electrical Engineering, 924)

Complex Networks & Their Applications XII: Proceedings of The Twelfth International Conference on Complex Networks and their Applications: COMPLEX ... (Studies in Computational Intelligence, 1144)

International Conference on Advanced Intelligent Systems for Sustainable Development (AI2SD’2023): Advanced Intelligent Systems on Digital Health ... (Lecture Notes in Networks and Systems, 905)

Proceedings of the 2nd International Conference on Emerging Technologies and Intelligent Systems: ICETIS 2022, Volume 2: 573 (Lecture Notes in Networks and Systems, 573)

Uncertainty and Imprecision in Decision Making and Decision Support - New Advances, Challenges, and Perspectives: Selected Papers from BOS/SOR-2022, ... (Lecture Notes in Networks and Systems, 793)

Reflections on the Foundations of Probability and Statistics: Essays in Honor of Teddy Seidenfeld: 54 (Theory and Decision Library A:, 54)

Semantik und Ontologie: Beiträge Zur Philosophischen Forschung: 2 (Philosophische Forschung / Philosophical Research)

Problem Posing and Solving for Mathematically Gifted and Interested Students: Best Practices, Research and Enrichment

Understanding the Digital Transformation of Socio-Economic-Technological Systems: Dedicated to the 120th Anniversary of Economic Education at Peter ... (Lecture Notes in Networks and Systems, 951)

Transformative Technologies Shaping a Smarter Society: Proceedings of the 15th International Conference on Information Society and Technologies (ICIST 2025)

Feferman on Foundations: Logic, Mathematics, Philosophy: 13 (Outstanding Contributions to Logic, 13)

Recent Advances in Computer Science and Information Engineering: Volume 3: 126 (Lecture Notes in Electrical Engineering, 126)