BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

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

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

Set Theory for Computing: From Decision Procedures to Declarative Programming
Stock photo: cover may vary

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

by Cantone, Domenico; Omodeo, Eugenio

Add to wish list
  • Used
  • very good
  • Hardback
Used - Very good

Description

Springer, 2001. Hardcover. Very Good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Add to wish list
This copy is temporarily unavailable. Please check back later or see below for alternate copies of this book, if available. You can also add this book to your want list and we will notify you if this book becomes available again or we locate other copies:
Browse more copies for sale ↓

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

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

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.

First line

Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics.

Details

  • Title Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • Author Cantone, Domenico; Omodeo, Eugenio
  • Binding Hardback
  • Edition 1st
  • Condition Used - Very good
  • Pages 409
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY
  • Publication date 2001
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • Bookseller's Inventory # G0387951970I4N00
  • ISBN 9780387951973 / 0387951970
  • Weight 1.63 lbs (0.74 kg)
  • Dimensions 9.52 x 6.38 x 1 in (24.18 x 16.21 x 2.54 cm)
  • Category Mathematics
  • Library of Congress subjects Set theory, Computable functions
  • Library of Congress Catalogue Number 2001020446
  • Dewey Decimal Code 511.322
  • Quantity available 1
Back to top↑

More Copies for Sale

Show all copies
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
Stock photo: cover may vary

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

by Domenico Cantone, Eugenio Omodeo, Alberto Policriti

  • Used
  • Very good
Condition
Very good
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Moe's Books
Biblio Top Seller
Item price
A$71.98
A$9.36 Delivery to USA

Show details

Description:
Springer, 2001. Hard cover. Very good/No jacket. In great condition. Binding is tight and inside is clean and unmarked.
Add to wish list
Item price
A$71.98
A$9.36 Delivery to USA
SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS
Stock photo: cover may vary

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

by OMODEO, EUGENIO,

  • New
  • Hardback
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
2
Seller
DELHI BOOK STORE
Item price
A$132.43
A$21.59 Delivery to USA

Show details

Description:
Springer, 2001. 1st. Hardcover. New/New.
Add to wish list
Item price
A$132.43
A$21.59 Delivery to USA
SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS
Stock photo: cover may vary

SET THEORY FOR COMPUTING - FROM DECISION PROCEDURES TO LOGIC PROGRAMMING WITH SETS

by OMODEO, EUGENIO,

  • Used
  • Hardback
  • first
Condition
New
Edition
1st
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
2
Seller
DELHI BOOK STORE
Item price
A$132.43
A$21.59 Delivery to USA

Show details

Description:
Springer, 2001. 1st. Hardcover. UsedLikeNew/UsedLikeNew.
Add to wish list
Item price
A$132.43
A$21.59 Delivery to USA
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets...
Stock photo: cover may vary

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Cantone, Domenico

  • Used
  • Good
  • Hardback
Condition
Good
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Bonita
Item price
A$152.53
Free Delivery to USA

Show details

Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Add to wish list
Item price
A$152.53
Free Delivery to USA
Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
Stock photo: cover may vary

Set Theory For Computing - From Decision Procedures To Logic Programming With Sets

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Students Textbooks
Biblio Top Seller
Item price
A$161.47
A$21.59 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$161.47
A$21.59 Delivery to USA
Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
Stock photo: cover may vary

Set Theory For Computing - From Decision Procedures To Logic Programming With Sets

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Students Textbooks
Biblio Top Seller
Item price
A$163.94
A$21.59 Delivery to USA

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$163.94
A$21.59 Delivery to USA
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets...
Stock photo: cover may vary

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Cantone, Domenico

  • New
  • Hardback
Condition
New
Edition
2001
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1
Seller
Ergodebooks
Item price
A$189.22
Free Delivery to USA

Show details

Description:
Springer, 2001-06-26. 2001. hardcover. New. 6.38x1.00x9.52. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$189.22
Free Delivery to USA
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

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

by Domenico Cantone

  • New
  • Hardback
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
1023
Seller
Ria Christie Collections
Item price
A$282.53
A$15.41 Delivery to USA

Show details

Description:
Hardcover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 r
Add to wish list
Item price
A$282.53
A$15.41 Delivery to USA
Set Theory For Computing
Stock photo: cover may vary

Set Theory For Computing

by Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto,

  • New
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
5
Seller
GreatBookPrices
Item price
A$269.09
A$5.74 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$269.09
A$5.74 Delivery to USA
Set Theory For Computing
Stock photo: cover may vary

Set Theory For Computing

by Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto,

  • Used
Condition
New
ISBN 10 / ISBN 13
9780387951973 / 0387951970
Quantity available
5
Seller
GreatBookPrices
Item price
A$269.09
A$5.74 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$269.09
A$5.74 Delivery to USA
Show all copies
Back to top↑

Please wait a moment while we load the requested page.