

| Publisher | Springer-Verlag New York Inc. |
| Book Description | Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) By Cantone, Domenico Published by Springer Publication Date: 2001-06-26 |
| Book Format | Hardcover |
| Publication Date | 2001-06-26 |
| ISBN 13 | 9780387951973 |
| Author | Cantone, Domenico |
| Language | English |

We're Always Here To Help
Reach out to us through any of these support channels
Electronics
MobilesTabletsLaptopsHome AppliancesCamera, Photo & VideoTelevisionsHeadphonesVideo GamesFashion
Women's FashionMen's FashionGirls' FashionBoys' FashionWatchesJewelleryWomen's HandbagsMen's EyewearHome and Kitchen
BathHome DecorKitchen & DiningTools & Home ImprovementBeddingFurniturePatio, Lawn & GardenPet SuppliesBeauty
FragranceMake-UpHaircareSkincareBath & BodyElectronic Beauty ToolsMen's GroomingHealth Care Essentials