Description
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.
Book Details
Format
Kindle
Pages
427 pages
Language
English
Published
Jun 29, 2013
Publisher
Springer
Editions
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522