请输入您要查询的百科知识:
词条
代数规约
释义
代数规约
信息科学卷
代数规约
基于代数理论的形成规约方法。由基调和公理集两部分组成。主要用于抽象数据类型的描述。用公理刻画程序的行为,抽象程度较高。其实现是指如何从给定的代数规约出发,得到能在计算机上执行的程序。
出处:信息科学卷 • 计算机科学技术 • 软件与系统
随便看
动脉导管
动脉导管未闭
动脉注射
动脉球
动脉瓣
动脉瘤
动脉硬化
动脉穿刺
动脉粥样硬化
动脉血
动脉血气分析
动荡
动补式复合词
动补短语
动补结构
动补词组
动补谓语句
动觉
滑准关税
滑动价格
滑动层
滑动平均模型
滑动摩擦
滑动摩擦系数
滑动水口
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。
Copyright © 2004-2023 Newdu.com All Rights Reserved
更新时间:2025/5/10 14:42:13