tactical background
BeDict Logo

tactical

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

Meanings

noun

Taktikkombinator

A combinator of proof tactics.

Examples :

Der Coq-Code verwendete einen Taktikkombinator, der automatisch mehrere einfachere Beweisschritte kombinierte und den Verifizierungsprozess deutlich beschleunigte.
adjective

Examples :

Der taktische Plan des Teams für die Spendenaktion der Schule umfasste das Aufstellen von Ständen in verschiedenen Teilen des Schulhofs, um die Bekanntheit zu maximieren.
adjective

Examples :

Der taktische Rucksack des Soldaten mit seiner schwarzen Tarnung und den verstellbaren Gurten war gut für das anspruchsvolle Gelände geeignet.