Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Cantone, Domenico

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Hardcover) (ISBN-13: 9780387951973)

Vendor: Domenico Cantone
Product type: Books
Format: Hardcover
$169.99
$169.99
$169.99
Subtotal: $169.99
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Cantone, Domenico

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

$169.99
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Cantone, Domenico

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

$169.99
Format: Hardcover
Description
Description
x
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.

Author: Domenico Cantone,Eugenio Omodeo
ISBN-10: 0387951970
ISBN-13: 9780387951973
Publisher: Springer
Language: English
Published: 06/26/2001
Pages: 409
Format: Hardcover
Weight: 1.63lbs
Size: 9.52h x 6.38w x 1.00d

Recently Viewed Products