You are here

Home
Back to top

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

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: 9781441929051
ISBN-10: 1441929053
Publisher: Springer
Publication Date: September 21st, 2011
Pages: 409
Language: English
Series: Monographs in Computer Science
Categories
Related Editions (all)