聂旭敏
人员信息
优化列表
![笔记](https://dblp.org/img/note-mark.dark.12x12.png)
2000 – 2009
2000 [j7] 聂旭敏 , 青果 :
重命名一组非天生子句。 J.计算。 科学。 Technol公司。 15 ( 5 ) : 409-415 ( 2000 )
1990 – 1999
1998 [j6] 洪武 , 聂旭敏 :
使用高效的数据结构扩展STL。 J.计算。 科学。 Technol公司。 13 ( 4 ) : 317-324 ( 1998 ) 1997 [j5] 聂旭敏 :
非Horn子句逻辑编程。 Artif公司。 智力。 92 ( 1-2 ) : 243-258 ( 1997 ) 【c5】 聂旭敏 , 青果 :
重命名一组非天生子句。 ISMIS系统 1997 : 600-608 1994 【j4】 迪帕克·卡普尔 , 聂旭敏 , 大卫·R·穆瑟 :
Tecton证明系统概述。 西奥。 计算。 科学。 133 ( 2 ) : 307-339 ( 1994 ) 1992 [j3] 聂旭敏 , 大卫·A·普莱斯特 :
语义倒链证明系统。 Artif公司。 智力。 55 ( 1 ) : 109-128 ( 1992 ) 【c4】 迪帕克·卡普尔 , 大卫·R·穆瑟 , 聂旭敏 :
Tecton证明系统。 数据库和软件工程中的形式化方法 1992 : 54-79 1991 【c3】 聂旭敏 :
非出生条款的处理情况如何? ISMIS系统 1991 : 580-588 【c2】 拉杰·阿加瓦尔 , 大卫·R·穆瑟 , 迪帕克·卡普尔 , 聂旭敏 :
Tecton证明系统。 区域贸易协定 1991 : 442-444 1990 [注2] 聂旭敏 , 大卫·A·普莱斯特 :
子目标重新排序的实验结果。 IEEE传输。 计算机 39 ( 6 ) : 845-848 ( 1990 ) 【c1】 聂旭敏 , 大卫·A·普莱斯特 :
一个完整的语义倒链证明系统。 CADE公司 1990 : 16-27
1980 – 1989
1989 [j1] 聂旭敏 , 大卫·A·普莱斯特 :
定理自动证明中深度第一迭代深度搜索的改进。 Artif公司。 智力。 41 ( 2 ) : 223-235 ( 1989 )
![](https://dblp.org/img/cog.dark.24x24.png)