Описание
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.
Детали книги
Формат
Kindle
Страницы
427 страниц
Язык
Английский
Опубликовано
Jun 29, 2013
Издатель
Springer
Издания
4 editions
ISBN-10
1475734522
ISBN-13
9781475734522