You are here

Home
Back to top

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

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) Cover Image
By Domenico Cantone, J. T. Schwartz (Foreword by), Eugenio Omodeo
$169.99
Usually Ships in 1-5 Days

Description

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.

Product Details
ISBN: 9780387951973
ISBN-10: 0387951970
Publisher: Springer
Publication Date: June 26th, 2001
Pages: 409
Language: English
Series: Monographs in Computer Science
Categories
Related Editions (all)