Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Tableaux for the Lambek-Grishin calculus
Tables of astronomical constants and libration-point parameters for selected solar system objects
Tables of internal partition functions and thermodynamic properties of high-temperature Mars-atmosphere species from 50K to 50000K
Tables, Memorized Semirings and Applications
TableTrans, MultiTrans, InterTrans and TreeTrans: Diverse Tools Built on the Annotation Graph Toolkit
Tabular Parsing
Tabulation of Further Measures of the Composition of Dust Particles Related to the Problem of the Indentification of Interplanetary Dust
Tachyons in an expanding space-time.
Tachyons in the Milne universe
Tacit knowledge mining algorithm based on linguistic truth-valued concept lattice
Tacitus on the Aurora
Tackling the testing migration problem with SAT-Solvers
Tactical Generation in a Free Constituent Order Language
Tactics for Reasoning modulo AC in Coq
Tadhak alkaline ring-complex (Mali): existence of U-Pb isochrons and ``Dupal'' signature 270 Ma ago
Tadpoles and Symmetries in Higgs-Gauge Unification Theories
Tafassasset: An Equilibrated CR Chondrite