1) symbel table
符号表集
2) 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推理的基础上,提出了一种基于集合符号的自动推理扩展方法。
3) assemble of symbols
符号集合
4) code alphabet
码符号集
5) symbol set
符号集应
补充资料：表制集
【表制集】
（书名）六卷，唐不空三藏为三朝之国师，谢表答制凡一百四十四首，西明寺圆照编集，名为不空表制集。
（书名）六卷，唐不空三藏为三朝之国师，谢表答制凡一百四十四首，西明寺圆照编集，名为不空表制集。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条