检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到1篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

代数规范的可计算实现: 1; 作者李中华李玉茜《华东师范大学学报（自然科学版）》 CAS CSCD 1991年第1期20-26,共7页; 本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.; 关键词代数规范可计算实现程序设计语言; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	代数规范的可计算实现	李中华李玉茜	《华东师范大学学报（自然科学版）》 CAS CSCD	1991	0	在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析