更新时间:-- | 阅读量: 4
系统考察判定问题的可解情况的重要论著。作者W.阿克曼(1896—1962),德国数理逻辑学家,着...本书主要解决谓词演算的判定问题，特别是一元谓词的判定问题。从理论上解决了可判定问题的可解情况，提供了解决问题的方法，得出了一系列重要的结 ...
搜索到与“ 可满足性判定”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
