Decision Procedures: An Algorithmic Point of View

2014-02-02 分类：工程

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

代发服务PDF电子书10元立即求助

1111

 打赏