Decision Procedures:An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Hardcover: 304 pages
Publisher: Springer (May 23, 2008)
Language: English
ISBN-10: 3540741046
未经允许不得转载：Wow! eBook » Decision Procedures:An Algorithmic Point of View