Decision Procedures: An Algorithmic Point of View girro 2014年2月2日 9 阅读 0 评论 工程 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元立即求助