Opis
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.
Szczegóły książki
Format
Kindle
Strony
427 stron
Język
Angielski
Opublikowany
Jun 29, 2013
Wydawca
Springer
Wydania
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522