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.
Détails du livre
Format
Kindle
Pages
427 pages
Langue
Anglais
Publié
Jun 29, 2013
Éditeur
Springer
Éditions
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522