“表推演方法”的概念、定义、翻译、参考文献-科学参考

单词	表推演方法
释义	表推演方法 Encyclopedia 理学一阶推理释 tableau method表推演方法通过分析公式的结构来寻找矛盾从而证明公式不可满足性的推理方法。表推演方法根据输入公式构造一棵节点标有公式的树，如果树的每个分支上都有互相矛盾的公式，则表明输入公式是不可满足的。
随便看	浔江浔阳区浙东事功学派浙东大峡谷浙东海事民俗博物馆浙东白鹅浙东运河浙农117 浙南石棚浙江浙江中医药博物馆浙江中医药大学浙江中鑫艺术博物馆浙江临海三江国家城市湿地公园浙江丽水九龙国家湿地公园浙江乌岩岭国家级自然保护区浙江九龙山国家级自然保护区浙江书局浙江人民体育馆浙江传媒学院影视教育浙江传媒学院电视艺术学院录音系浙江农林大学浙江凤阳山－百山祖国家级自然保护区浙江出版联合集团有限公司浙江华策影视股份有限公司

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。