Beschreibung
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.
Buchdetails
Format
Kindle
Seiten
427 Seiten
Sprache
Englisch
Veröffentlicht
Jun 29, 2013
Verlag
Springer
Ausgaben
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522