Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Hardcover - Used) 0387951970 9780387951973

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Hardcover - Used) 0387951970 9780387951973

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.


Walmart

$40.31
Free Delivery

Go to store

Ads related to set theory for computing: from decision procedures to declarative programming with sets hardcover - used 0387951970 9780387951973

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets Hardcover - Used 0387951970 9780387951973 from other stores

  • Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Hardcover - Used) 0387951970 9780387951973
    An up-to-date and comprehensive account of set-oriented symbolic manipulation ... 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. more
    Details
    $40.31 Free Delivery Go to store
Items per page

Ads related to set theory for computing: from decision procedures to declarative programming with sets hardcover - used 0387951970 9780387951973