On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.
在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法。
Signs and designs almost disappeared, and characters became solely writing symbols.
字的结构不再有古文字那种象形的含义，而完全符号化了。
Heuristic Symbolic Verification of Safety Properties for Parameterized Systems
参数化系统安全性的启发式符号验证
contracted notation
简化符号，略号，代号
catalytic constant
催化常数[符号Kcat]
On Cultural Semiotics--Semiotic Analysis of Cultural Semiotics;
文化符号学评介——文化符号学的符号学分析
Application of SDG in Chemical Hazard Assessment
符号有向图在化工安全评价中的应用进展
weighted bit code
加权位代码 -二进制符号化十进制符号
The Research and Implementation of Map Symbols' Symbolization in GIS
GIS中地图符号的符号化研究与实现
On the semiotic of tea Culture symbol"Tea Ancestor Shen Nong"
关于茶文化符号“茶祖神农”的符号思考
a musical note having the time value of half a whole note.
时间量是全音符一半的一个音乐符号。
Tourism s "Symbolization" and Symbolized Tourism: Examining Tourism and Tourism Development in Semiotics Views;
旅游的“符号化”与符号化旅游——对旅游及旅游开发的符号学审视
The chemical symbol for copper is "Cu".
铜的化学符号是Cu。
Au is the chemical symbol for gold.
‘Au’是金的化学元素符号.
Cultural Semiotics and Its Significance--Revisiting the Cultural Semiotics of Tatu School;
文化的符号意义——再评塔图学派的文化符号学
SYMBOLIC LINEARIZATION OF DIFFERENTIAL/ALGEBRAIC EQUATION FOR MULTIBODY SYSTEM BASED ON FULLY CARTESIAN COORDINATES
基于完全笛卡尔坐标的多体系统微分-代数方程符号线性化方法
Symbol fetishism is a kind of dissimilation in symbol world.
符号拜物教是符号世界的一种异化现象。
Sign value is the central concept of Baudrillard's sign culture theory.
符号价值是鲍德里亚符号文化理论的中心。
Human-Symbol-Culture On the Three Essentials of Ernst Cassirer s Symbolic Philosophy;
人——符号——文化——试论卡西尔符号哲学的三要素