| |
1995年第6卷第9期目录
本期目录 | | | 维护的证明论系统 | | | 张玉平,李未 | | | 1995,6(9):513-524 | | | [摘要](4316) [PDF 710.29 K](5339) | | | 软件复用 | | | 杨芙清,朱冰,梅宏 | | | 1995,6(9):525-533 | | | [摘要](4366) [PDF 685.41 K](6078) | | | PARLOG跟踪调试器的设计实现技术 | | | 马玉羚,温冬婵,王鼎兴 | | | 1995,6(9):534-541 | | | [摘要](5124) [PDF 508.15 K](5563) | | | 一种从黑体到隶书的汉字字形自动变体方法 | | | 高晓,蔡士杰 | | | 1995,6(9):542-550 | | | [摘要](5723) [PDF 582.03 K](5632) | | | 集成环境下的预测应用网络系统的设计与实现 | | | 寿志勤,潘皖印,朱少民 | | | 1995,6(9):551-559 | | | [摘要](3912) [PDF 574.64 K](5479) | | | 逻辑数据库中参数化CWAs问题研究 | | | 聂培尧 | | | 1995,6(9):560-566 | | | [摘要](4325) [PDF 451.92 K](5677) | | | 一种有效的结点标号上下文无关图文法分析算法 | | | 花全香,邢汉承,冯纯伯 | | | 1995,6(9):567-575 | | | [摘要](4401) [PDF 527.38 K](5137) | |
|
