Name: set theory for computing: from decision procedures to declarative programming with sets
Price: 147.20 EUR
Availability: InStock
Author: Cantone, Domenico ; Schwartz, J. T. ; Omodeo, Eugenio
ISBN: 9781441929051

Select your country

Americas

Europe

Rest of the world

portada set theory for computing: from decision procedures to declarative programming with sets

set theory for computing: from decision procedures to declarative programming with sets

Type

Physical Book

Author

Preface by

Publisher

Year

2013

Language

English

Pages

409

Format

Paperback

Dimensions

23.4 x 15.6 x 2.2 cm

Weight

0.59 kg.

ISBN

1441929053

ISBN13

9781441929051

Synopsis "set theory for computing: from decision procedures to declarative programming with sets"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

set theory for computing: from decision procedures to declarative programming with sets - Cantone, Domenico ; Schwartz, J. T. ; Omodeo, Eugenio

Synopsis "set theory for computing: from decision procedures to declarative programming with sets"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery