https://www.ebooknetworking.net/books_detail-0387951970.html

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

AuthorDomenico Cantone, Eugenio Omodeo, Alberto Policriti

PublisherSpringer

Shop on Amazon — choose your 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.

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

Book Details

Description

More Books by Domenico Cantone, Eugenio Omodeo, Alberto Policriti