演算

sentential calculus

語句演算

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

sentential calculus

句演算

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

Math-Summing Multiplier Squarer Divider Rootextrac

演算传送器

"Bridge-Load Cell/Strain Gauge","荷重及应变力传送器",197096 | "Math-Summing Multiplier Squarer Divider Rootextrac","演算传送器",197097 | "Industrial Electronic Equipment","工业电子设备",1975

Math-Summing Multiplier Squarer Divider Rootextractor

演算传送器

"Bridge-Load Cell/Strain Gauge","荷重及应变力传送器",197096 | "Math-Summing Multiplier Squarer Divider Rootextractor","演算传送器",197097 | "Industrial Electronic Equipment","工业电子设备",1975

ternary operation

三項演算子

ternary number system 三进位数系,三进制数系 | ternary operation 三項演算子 | ternary plate 三合板

tuple calculus

元组演算

元,元组 tuple | 元组演算 tuple calculus | 元组变数 tuple variable

UNIVERSAL QUANTIFIER IN FOPC

全称量词 (一阶谓词演算)

181 UNIFICATION 成分的合一 OF CONSTITUENTS | 182 UNIFICATION - BASED GRAMMARS 基于合一的文法 | 183 UNIVERSAL QUANTIFIER IN FOPC 全称量词 (一阶谓词演算)

deterministic algorithm

决定型演算法 [确定性算法]

determiner 限定詞 | deterministic algorithm 決定型演算法 [確定性算法] | deterministic finite state automaton 決定型有限狀態機

deterministic algorithm

演算法確定性

確定性的 deterministic | 演算法確定性 deterministic algorithm | 確定性與隨機性佩特裏網路 deterministic and stochastic Petri net

Heuristically Programmed Algorithmic Computer

启发式编程演算法电脑

heuristic reasoning ability 启发式推论能力 | Heuristically Programmed Algorithmic Computer 启发式编程演算法电脑 | Hewlett-Packard Graphics Language 惠普图像语言

Greco-Latin square：希腊拉丁方格

Granduation of curve 曲线递合 | Greco-Latin square 希腊拉丁方格 | Grand lot 大批

cunningham：帆前角下拉索

斜拉器:kicking strap | 帆前角下拉索:cunningham | 调整索:outhaul