Tactic
Sign in to saveTactic(s) or Tactical may refer to:
In the Vinony graph
Vinony's link graph records 3 inbound references to Tactic, and connects out to military tactics, chess tactic and tactic.
Vinony links it to 21 Wikipedia language editions.
~1 min read
Encyclopedic overview
4 sectionsContents
- Computer science
- Geography
- Entertainment
- See also
Tactic(s) or Tactical may refer to: Tactic (method), a conceptual action implemented as one or more specific tasks Military tactics, the disposition and maneuver of units on a particular sea or battlefield Chess tactics Political tactics TACTIC (military program), a U.S. military research program conducted by DARPA Tactical gear, equipment design to enhance performance, typically for police or military
==Computer science== A tactic is a procedure for deriving terms in an interactive theorem prover
Excerpted from Wikipedia’s “Tactic” article, available under the CC BY-SA 4.0 licence.