Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
Sale price
$152.99
Regular price $169.99
Skip to product information
Set Theory for Computing From Decision Procedures to Declarative Programming with Sets
Sale price
$152.99
Regular price $169.99
Reliable shipping
Flexible returns
Monographs in Computer Science
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Domenico Cantone | J.T. Schwartz | Eugenio Omodeo | Alberto Policriti
Computers / Computer Science
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.
| Publication Date: | 26 June 2001 |
| Publisher: | Springer New York |
| Imprint: | Springer |
| ISBN-13: | 9780387951973 |
| Format: | Hardback |
| Page Count: | 409 |