关键词中包括 Tableau 的文章

1 扩展断言知识检验一致的需求建模方法 郭新峰1, 马世龙2, 吕江花2, 李睿2 2015年1期 [81－89][摘要](2780)[pdf 606KB](2360) DOI:10.3969/j.issn.1673-4785.201409015

2 一种扩展的动态描述逻辑语言及其 Tableau 算法 郝国舜1,马世龙1，眭跃飞2 2009年3期 [226－233][摘要](4913)[pdf 462KB](2663) DOI:

3 一种逻辑强化学习的tableau推理方法 刘　全1, 2 ,崔志明1 ,高　阳2 ,陈道蓄2 ,姚望舒1 2008年4期 [355－360][摘要](4654)[pdf 454KB](3958) DOI: