我们认为我们需要这样的一种元模型,其不仅是在一个通用(元)语言中的子模型的不相交并集(disjoint union),而且在模型构成期间能保存操作并支持有意义分析及跨越异构模型边界的传输。这就导致了设计中的构造性议题。
基于124个网页-相关网页
... disjoint sets 不相交集 disjoint sum 不相交并集 disjoint union 不相交并集 ...
基于33个网页-相关网页
-
disjoint union
disjoint sum
·2,447,543篇论文数据,部分数据来源于NoteExpress