使用分析 Tableaux 和相关方法进行自动推理：国际会议，TABLEAUX 2003，意大利罗马，2003 年 9 月。会议记录下载（283 页 | 免费） 电子书下载

原名:Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings Download ( 283 Pages | Free )
作品简介:本书是 2003 年 9 月在意大利罗马举行的国际分析 Tableaux 和相关方法自动推理会议 TABLEAUX 2003 的审稿论文集。所提交的 20 篇修改后的全文经过仔细审查并选择收录在本书中。……