説明
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.
本の詳細
形式
キンドル
ページ数
427ページ
言語
英語
公開されました
Jun 29, 2013
出版社
Springer
ISBN-10
1475734522
ISBN-13
9781475734522