Jump to content

TCC: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
cleanup, incl. spam removal
Line 25: Line 25:
*[[Type Correctness Condition]] in [[Automated theorem proving]]
*[[Type Correctness Condition]] in [[Automated theorem proving]]
*[[Tysons Corner Center]]
*[[Tysons Corner Center]]
*"Take Command Console", a part of ''JP Software's'' Take Command, see [[4NT]]
*[[Take Command Console]]
*[[Triclocarban]], a disinfectant
*[[Triclocarban]], a disinfectant



Revision as of 11:28, 29 July 2010

TCC may refer to:

Colleges