说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 全符合符号
1)  match all symbol
全符合符号
2)  entireness symbolization
全符号化
例句>>
3)  full symbolic name
全符号名
4)  clearing mark
安全符号
5)  globak symbol
全局符号
例句>>
6)  set sign
集合符号
1.
On the basis of the many-valued logics tableau reasoning,an automated reasoning expansion method based on set sign is presented.
在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法。
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条