1995年第6卷第9期目录

浏览其它刊期:

本期目录


	维护的证明论系统
	张玉平,李未
	1995,6(9):513-524 [摘要(3471)] [PDF 710.29 K (3810)]

	软件复用
	杨芙清,朱冰,梅宏
	1995,6(9):525-533 [摘要(3280)] [PDF 685.41 K (4449)]

	PARLOG跟踪调试器的设计实现技术
	马玉羚,温冬婵,王鼎兴
	1995,6(9):534-541 [摘要(4200)] [PDF 508.15 K (4024)]

	一种从黑体到隶书的汉字字形自动变体方法
	高晓,蔡士杰
	1995,6(9):542-550 [摘要(4720)] [PDF 582.03 K (4065)]

	集成环境下的预测应用网络系统的设计与实现
	寿志勤,潘皖印,朱少民
	1995,6(9):551-559 [摘要(3133)] [PDF 574.64 K (3765)]

	逻辑数据库中参数化CWAs问题研究
	聂培尧
	1995,6(9):560-566 [摘要(3579)] [PDF 451.92 K (3841)]

	一种有效的结点标号上下文无关图文法分析算法
	花全香,邢汉承,冯纯伯
	1995,6(9):567-575 [摘要(3581)] [PDF 527.38 K (3604)]