查询词典 deduction

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

13 All sums payable by the Borrower hereunder shall be made without set-off, counterclaim, condition or qualification and free and clear of and without deduction for or on account of any tax, levy, impost, duty, charge, fee, deduction or withholding of whatever nature now or hereafter imposed by any taxing authority of Hong Kong.

18.13 借款人根据本契据须付的一切款项，须在不作抵销或反申索、在无条件或限制的情况下支付，且不受香港任何税务机关现在或以后徵收的任何税项、徵款、税款、收费、费用、扣款或任何性质的预扣款影响，不必为此作出扣减。

In the case where your itemize deductions, including home mortgage interest and property taxes, do not exceed the standard deduction amount, it is better for you to take standard deduction.

在此情况下，你列举扣除额，包括住房抵押贷款利息和房产税，不超过标准扣除额，是更好地为你采取标准扣除。

In the process of law making, logical deduction cannot provide a perfect legal system; in the process of justice, the logical deduction cannot provide a definite result of the appliance of regulation.

霍姆斯审视法律与道德的关系的视角比较独特，而且还有着强大的实用主义哲学基础作后盾，在我们讨论法律与道德的关系问题时是无法绕过的。

Explanation, according to this view, is simply accounting for facts on the basis of a deduction from a known law or laws, or accounting for some subordinate law on the basis of a deduction from some more general law or laws.

根据这种观点，解释仅仅是在演绎的基础上说明事实，而这种演绎来自于著名的定律，或者是在演绎的基础上说明某种从属定律，这种演绎来自于更普遍的定律。

Explanation, according to this view, is simply accounting for facts on the basis of deduction from a known law or laws, or accounting for some subordinate law on the basis of a deduction from some more general law or laws.

根据这个观点，解说就是简单地说明已知定理或定律推理基础上的事实，或说明某些从一般定理推理出的附属定律。

The main contents include the ray phenomenon and its generation conditions; the deduction and physical illumination of wave action conservation equation and wave number conservation equation; ray theory for sinusoidal waves; Fermat's principle; the variation of amplitude in the case of straight and parallel depth contours and circular depth contours; the amplitude near the caustics; wave trapping; deduction of mild-slope equation and the relevant numerical solution methods.

讲授折射现象及其发生的条件；波作用守恒方程和波数守恒方程的推导及物理解释；稳恒正弦波的控制方程及射线方程；费马原理；利用射线方程研究等深线是平行直线和圆周线时波振幅的变化，特别是焦散线附近波高的变化以及由此而产生的波的俘获；缓坡方程的推导及有关的数值求解方法。

The construction process are multiple parameters (such as partial-top, arch axis and elevation changes, etc.) real-time monitoring system controlled by the large-span cable crane rigger arch beam, the system pegging Cable-Stayed deduction deduction for arch beam geometric precision and adjust successfully to a high-precision steel pipe arch-arch-long, concrete-filled steel tube ensures the integrity and stability, effective control of the construction process are arch axis geometric precision.

施工过程中多参数控制实时监测系统，采用大跨度的缆索吊机吊运拱肋梁段，斜拉扣挂体系扣定拱肋梁段并调整几何精度，成功地将钢管拱肋高精度合龙成拱，保证了钢管混凝土的整体性和稳定性，有效控制施工过程中拱轴线几何精度。

S, M Series Atomic Absorption Spectrometry in a new Echelle optical system, providing unparalleled detection limit; Four unique background deduction of deuterium lamp technology, the results more accurate calibration can be as high as 3A background correction; Patent protection Stockdale dual-beam technology, are the sensitivity and high signal to noise ratio; unique exchange Zeeman background deduction graphite furnace technology; ELC unique long-life graphite tube; GFTV unique graphite furnace visualization technique

一、 S 、 M 系列原子吸收光谱仪采用全新的中阶梯光栅光学系统，提供无与伦比的检出限；独特的四线氘灯扣背景技术，校正结果更准确，可校正高达3A 的背景；专利保护的 Stockdale 双光束技术，得到极高的灵敏度和信噪比；独特的交流塞曼石墨炉扣背景技术；独特的 ELC 长寿命石墨管；独特的 GFTV 石墨炉可视技术

The policy of enlarging the scope of VAT deduction : where the ordinary VAT taxpayers who are mainly engaged in equipment manufacture, petrochemical industry, and metallurgical industry and other processing products production purchase fixed assets and so on, if newly increased VAT in current year is not sufficient to be deducted, the undeducted amount of input tax can be carried forward to the following year for deduction.

扩大增值税抵扣范围政策：对从事装备制造业、石油化工业、冶金等加工产品生产为主的增值税一般纳税人，购进固定资产等，用当年新增加的增值税税额不足抵扣的，未抵扣的进项税额可以结转以后年度继续抵扣。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。