查询词典 symbol

norm residue symbol：范数剩余符号

norm residue 范数剩余 | norm residue symbol 范数剩余符号 | norm topology 范拓朴

norm residue symbol：范剩余符号

范剩余|norm residue | 范剩余符号|norm residue symbol | 范式|normal form

phallic symbol：性器表征

phallic stage 性器期 | phallic symbol 性器表征 | phanodorn 环巴比妥

power residue symbol：幂剩余符号

power of set 集的势 | power residue symbol 幂剩余符号 | power series 幂级数

predicate symbol：谓词符号

PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号(predicate symbol)的一种顺序,I是指某一个特定的解释. 但是在目前所见的许多文献中对PI推理的定义还有一些不妥之处,没有确保其中的每一步归结都是PI归结. 本文给出了一种新的PI推理的定义,

predicate symbol：謂語符號

predicate raising 謂語提升 | predicate symbol 謂語符號 | predicate variable 述語變數

predicate symbol：述詞符號

述詞邏輯 predicate logic | 述詞符號 predicate symbol | 述詞使用 predicate use

prompting symbol：提示符

prompt facility 提示设备 | prompting symbol 提示符 | prony brake 普朗尼摩擦测功器,普朗尼闸式测功器

proper subset symbol：真子集符號

"真子集","proper subset" | "真子集符号","proper subset symbol" | "性质,财产","property"

punctuation symbol：标点符号

punctuation character 标点符号 | punctuation symbol 标点符号 | pure binary code 纯二进制码

enamelling iron：搪瓷[用)钢板

enamelled strip || 涂珐琅钢带,搪瓷钢带 | enamelling iron || 搪瓷[用)钢板 | enantiomer || 对映体,对映异构物

leeringly：以斜眼看 (副)

leeriness 猜疑; 留神; 狡猾; 机警 (名) | leeringly 以斜眼看 (副) | leery 机敏的, 细心的; 猜疑的, 迟疑的 (形)