many-sorted logic

网络释义

1.	多类逻辑 sorted的中文翻译，sorted中文是什么... ... 多类逻辑(多类逻辑) many sorted logic 多分类代数(多分类代数) many sorted algebra ... www.nciku.cn
2.	多域逻辑【摘要】：本文结合基于多域逻辑(Many Sorted Logic)和实体关系模型中数据操作的形式化定义,以及有色Petri网(Colored Petri … cdmd.cnki.com.cn

释义:

多类逻辑,多域逻辑

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。