查询词典 predicate logic

deductive inference：演绎推理

自动逻辑推理 automated logic inference | 演绎推理 deductive inference | 反绎推理 abductive reasoning

deductive inference：演绎推理演绎推理

deductive conclusion 演绎结论 | deductive inference 演绎推理演绎推理 | deductive logic 演绎逻辑

deductive inference：演绎推理,演绎推论

deductive coverage clause 可减保额条款 | deductive inference 演绎推理,演绎推论 | deductive logic 演绎逻辑

del：abbr. decision evaluation and logic; 判定、评估与逻辑

-1

partial derivative of higher order：高阶偏导数

高阶逻辑|high order logic | 高阶偏导数|partial derivative of higher order | 高阶偏微分方程|partial differential equation of higher order

logic design：逻辑设计

3、逻辑设计(Logic Design)这一步是将系统功能结构化. 通常以文本(Verilog HDL 或VHDL)、原理图、逻辑图表示设计结果,有时也采用布尔表达式来表示设计结果. 4、电路设计(Circuit Design)电路设计是将逻辑设计表达式转换成电路实现.

Desirable Logic：合意逻辑

Design-to Specifications 按规范设计 | Desirable Logic 合意逻辑 | Detail document.tion 详细的文档

Control Console/Light control desk：调光台

control cable 控制电缆 | Control Console/Light control desk 调光台 | Control logic unit 控制逻辑单元

logic diagram：逻辑图

原理图:shematic diagram | 逻辑图:logic diagram | 印制线路布设:printed wire layout

logic diagram：[计] 逻辑(框)图

moulding shaker 震动式巧克力浇模机 | logic diagram [计] 逻辑(框)图 | completely reversed fatigue limit 全交变疲劳极限

Matrix Communications Group IT：和通信综合供应商(英国/爱尔兰)

MTS 产品设计与开发改善解决方案供应商(美国) | Matrix Communications Group IT和通信综合供应商(英国/爱尔兰) | NCE 数据存储解决方案供应商(英国)

res perit custodibus：保管人承担损失

res nullius;无主财产;; | res perit custodibus;保管人承担损失;; | res perit domino;货主承担损失;;