1) tally set
单元素语言
1.
This article discusses the Polynomial-time Hierarchy relative to tally sets.
通过讨论相对于单元素语言的多项式时间谱系,得到了∏iP(A)ΔjP的一个充分条件,进而研究了多项式时间谱系中的类∑jP内的单元素语言T与计算复杂性理论中的重要相对化语言类CO-NP(T)、P(NP)、∑i-1P(T)、ΔjP、NP(T)、NP等之间的联系。
3) element of language
语言元素
1.
This paper analyzes the difference of architecture culture in the west and east from the linguistic point of view and discusses it from three aspects, namely, the element of language, the logic of language and the culture of language.
文章从语言学的角度分析东西方建筑文化方面的一些差异,并且从语言元素、语言逻辑和语言风格三方面对其展开了具体论述。
4) assembly language component
汇编语言元素
5) meta-metalanguage
元元语言
6) Simple PROMELA Interpreter(SPIN)
简单进程元语言解释器
1.
Model Checking is an efficient automatic technique for the improvement of system s reliability,and this paper is a research into how to check UML model through the Simple PROMELA Interpreter(SPIN)model-checker.
研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。
补充资料：装箱单、重量单、尺码单
装箱单、重量单、尺码单
[装箱单、皿t单、尺码单1装箱单(Pack-ing Ust)是说明货物包装情况的单据，包括包装材料、包装方式，以及详细的包装内容，如花色、规格搭配等。进口地海关主要依据装箱单对某一特定内容的包装内容进行检查，也是进口商核对货物的依据。装箱单的内容有:单据名称、卖方名称、唆头、件数、规格、数量、毛净重、签字等。 重量单(Weight ust)是由卖方或第三者提供的，表明货物重量的单据。一般包括皮、毛、净重。它必须和其他单据上所表示的货物重量一致。 尺码单就不详细介绍了。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条