Millions of books in English, Spanish and other languages. Free UK delivery 

menu

0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada set theory for computing: from decision procedures to declarative programming with sets
Type
Physical Book
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

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

Domenico Cantone (Author) · Eugenio Omodeo (Author) · J. T. Schwartz (Preface by) · Springer · Paperback

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

New Book

£ 177.10

  • Condition: New
Origin: U.S.A. (Import costs included in the price)
It will be shipped from our warehouse between Monday, June 17 and Wednesday, July 03.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.

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

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.

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