Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Hardcover
$168.99
$169.99
-1%Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 168 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Domenico Cantone, J. T. Schwartz, Eugenio OmodeoSeries:Monographs in Computer SciencePublish date:6/26/2001Pages:409
Languages:EnglishPublisher:SpringerISBN-13:9780387951973ISBN-10:0387951970UPC:9780387951973Book Category:Mathematics, ComputersBook Subcategory:Set Theory, Applied, Computer ScienceSize:9.52 x 6.38 x 1.00 inchesWeight:0.74Product ID:SC9AS8RMC8
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.
Languages:EnglishPublisher:SpringerISBN-13:9780387951973ISBN-10:0387951970UPC:9780387951973Book Category:Mathematics, ComputersBook Subcategory:Set Theory, Applied, Computer ScienceSize:9.52 x 6.38 x 1.00 inchesWeight:0.74Product ID:SC9AS8RMC8
Publisher: Springer
Edition
2001 Edition
Contributor(s)
Authors
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Eligible items may be returned within 30 days of delivery. Conditions apply.