查询词典 calculus

predicative calculus：谓词演算

predicated response 预测响应 | predicative calculus 谓词演算 | prediction 预报

propositional calculus：命题演算(又称"命题 辑

propositional axiom 命题公 | propositional calculus 命题演算(又称"命题 辑") | propositional connective 命题 结词

propositional calculus：命題統計

dicisign 命題記號 | propositional calculus 命題統計 | propositional attitude 命題態度

propositional calculus：命题演算Btu中国学习动力网

proposition 命题Btu中国学习动力网 | propositional calculus 命题演算Btu中国学习动力网 | propositional inference 命题推演Btu中国学习动力网

partial propositional calculus：部分命题演算

部分[乘]积 partial products | 部分命题演算 partial propositional calculus | 部分商 partial quotient

pure predicate calculus of first order：一阶纯谓词演算

pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论

sentential calculus：命题演算

sentence 命题 | sentential calculus 命题演算 | sentential connective 命题联结词

sentential calculus：語句演算

sentential anaphora 句子照應 | sentential calculus 語句演算 | sentential conjunction 句子連接

sentential calculus：句演算

"句子合成程式","sentence synthesizing program,SSP" | "句演算","sentential calculus" | "句型","sentential form"

sentential calculus：命题演算;语句演算

命题演算;语句演算 sentential calculus | 复合命题 sentential combination | 命题变元;语句变元 sentential variable

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;