Set Theory for Computing
| Author | : Domenico Cantone |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 419 |
| Release | : 2013-06-29 |
| ISBN-10 | : 9781475734522 |
| ISBN-13 | : 1475734522 |
| Rating | : 4/5 (522 Downloads) |
Book Synopsis Set Theory for Computing by : Domenico Cantone
Download or read book Set Theory for Computing written by Domenico Cantone and published by Springer Science & Business Media. This book was released on 2013-06-29 with total page 419 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 reasoning.