tactical
English
Adjective
tactical (not comparable)
Derived terms
- tactical aeromedical evacuation
- tactical air command center
- tactical air commander
- tactical air control center
- tactical air control party
- tactical air coordinator
- tactical air direction center
- tactical airfield fuel dispensing system
- tactical air groups
- tactical air officer
- tactical air operation
- tactical air operations center
- tactical air reconnaissance
- tactical air support
- tactical air support element
- tactical air transport operations
- tactical assembly area
- tactical call sign
- tactical combat force
- tactical concept
- tactical control
- tactical deception group
- tactical digital information link
- tactical diversion
- tactical event system
- tactical exploitation of national capabilities
- tactical information processing and interpretation system
- tactical intelligence
- tactical intelligence and related activities
- tactical level of war
- tactical loading
- tactical locality
- tactical-logistical group
- tactically
- tactical map
- tactical minefield
- tactical mining
- tactical nuclear weapon employment
- tactical obstacles
- tactical operations center
- tactical range
- tactical reserve
- tactical security
- tactical sub-concept
- tactical transport aircraft
- tactical troops
- tactical unit
- tactical vehicle
- tactical warning
- tactical warning and assessment
- tactical warning and attack assessment
Translations
of or relating to tactics
Noun
tactical (plural tacticals)
- (computing) a combinator of proof tactics
- 2013, Adam Chlipala, Certified Programming with Dependent Types:
- The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.
-
This article is issued from
Wiktionary.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.