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)
Author: Domenico Cantone, Eugenio Omodeo, Alberto Policriti
ISBN: 9780387951973

Author Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Publisher Springer

📄 Viewing lite version Full site ›

🌎 Shop on Amazon — choose country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

95.53 129.00 USD

🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $37.81

✓ Usually ships in 24 hours

Book Details

Author(s)Domenico Cantone, Eugenio Omodeo, Alberto Policriti

PublisherSpringer

ISBN / ASIN0387951970

ISBN-139780387951973

AvailabilityUsually ships in 24 hours

Sales Rank3,970,127

MarketplaceUnited States 🇺🇸

Description ▲

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