tactical background
BeDict Logo

tactical

/ˈtæktɪkəl/ /ˈtæktɪkl/

Meanings

noun

战术组合, 战术配合.

A combinator of proof tactics.

Examples :

Coq代码使用了一个“战术组合”,它可以自动地将几个简单的证明步骤组合起来,从而大大加快了验证过程。
adjective

Examples :

士兵的战术背包,有着黑色迷彩和可调节的绑带,很适合在具有挑战性的地形中使用。(Shìbīng de zhànshù bèibāo, yǒuzhe hēisè mícǎi hé kě tiáojié de bǎngdài, hěn shìhé zài jùyǒu tiǎozhànxìng de dìxíng zhōng shǐyòng.)