Trending Bestseller

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

No reviews yet Write a Review
Paperback / softback
21 September 2011
$293.82
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

You Can Find This Title In

    Product Details
    ISBN-13
    9781441929051
    Author
    J.T. Schwartz
    Publisher
    Springer Nature B.V.
    Published
    21 September 2011
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $293.82
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Set Theory for Computing

    $293.82

    Description

    An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

    You Can Find This Title In

      This Title Is Categorised As