搜索筛选:
搜索耗时0.0911秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：谢步罡,,
来源：上海成人教育 年份：1994
在上海市电视中等专业学校举行的92届电器专业毕业设计公开答辩会上,一名身材瘦高的学员走上讲台,把几张电气原理图挂在黑板上,开始作答辩报告:“我的毕业设计是本单位的一...
[期刊论文] 作者：顾永立,顾训穰,谢步罡,,
来源：上海大学学报(自然科学版) 年份：2004
介绍了一种新型的形式说明语言PD_Cal,该语言具有良好的表达能力以及丰富的类型.通过对由该语言描述的定理证明过程进行类型检查,可判断该证明是否是给定定理的正确的证明.在...
相关搜索：
