Beskrivning
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.
Bokdetaljer
Format
Kindle
Sidor
427 sidor
Språk
Engelska
Publicerad
Jun 29, 2013
Förlag
Springer
Upplagor
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522