Skip to content
Scan a barcode
Scan
Paperback Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets Book

ISBN: 1441929053

ISBN13: 9781441929051

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Paperback

Condition: New

$169.99
50 Available
Ships within 2-3 days

Book Overview

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.

Customer Reviews

0 rating
Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured
Timestamp: 6/11/2025 7:35:05 AM
Server Address: 10.21.32.158