Error title
Some error text about your books and stuff.
Close

Set Theory for Computing from Decision Procedures to Logic Programming With Sets

by Domenico Cantone

  • ISBN: 9780387951973
  • ISBN10: 0387951970

Set Theory for Computing from Decision Procedures to Logic Programming With Sets

by Domenico Cantone

  • Binding: Hardcover
  • Publisher: Springer Verlag
  • Publish date: 07/01/2001
  • ISBN: 9780387951973
  • ISBN10: 0387951970
used Add to Cart $36.00
You save: 76%
Marketplace Item
new Add to Cart $177.09
FREE economy shipping!
Description: "Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice.Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and accurate. Some familiarity with symbolic logic is helpful but not a requirement.This book is a useful resource for all advanced students, professionals, and researchers in computing sciences, artificial intelligence, automated reasoning, logic, and computational mathematics. It will serve to complement their intuitive understanding of set concepts with the ability to master them by symbolic and logically based algorithmic methods and deductive techniques.
Expand description
Seller Condition Comments Price  
Seller: Mark Lavendier
Location: N Scituate, RI
Condition: Very Good
Shipping Icon
0387951970 Springer-Verlag; New York, 2001. Hardcover. Monographs in Computer
[...]
Price:
$36.00
Comments:
0387951970 Springer-Verlag; New York, 2001. Hardcover. Monographs in Computer
[...]
Seller: booksdiscount11
Location: Sterling Hts, MI Ask seller a question
Condition: New
New Book Original US edition, Ships with Emailed Tracking from USA. We Ship to PO BOX Address also.
Price:
$44.54
Comments:
New Book Original US edition, Ships with Emailed Tracking from USA. We Ship to PO BOX Address also.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$49.33
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: discount_scientific_books
Location: Sterling Heights, MI
Condition: New
New Book Original US edition, We Ship to PO BOX Address also.
Price:
$53.51
Comments:
New Book Original US edition, We Ship to PO BOX Address also.
Seller: Basi6 International
Location: Irving, TX
Condition: New
New, US edition. Satisfaction guaranteed! !
Price:
$53.52
Comments:
New, US edition. Satisfaction guaranteed! !
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$65.27
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Found Books
Location: AUSTIN, TX
Condition: Good
0387951970.
Price:
$69.75
Comments:
0387951970.
Seller: Media Smart
Location: Hawthorne, CA
Condition: New
Shipping Icon
P 432.
Price:
$145.88
Comments:
P 432.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).