Machine theory. Machine theory Matching theory. Lattice theory. Spline theory. machine tool. Switching theory. Planning theory. Coding theory. Game theory.