Title: TBell
Subjects: Machine translation, Software tools, Tables (Data), Language programming, Mathematical programming, Mathematical logic, Computer programs, Formalism, Decision theory