决策程序：算法的观点 电子书下载

原名:Decision Procedures: An Algorithmic Point of View
作品简介:决策过程是一种算法，在给定决策问题的情况下，以正确的是/否答案终止。在这里，作者重点关注那些具有足够表达能力来模拟实际问题但仍然可判定的理论。具体来说，本书重点关注一阶决策程序……