Beschrijving
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.
Boekdetails
Formaat
Kindle
Pagina's
427 pagina's
Taal
Engels
Gepubliceerd
Jun 29, 2013
Uitgever
Springer
Edities
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522