Search alternatives:
automatic theory » automatic theorem, automation theory, axiomatic theory
formal language » formal languages
automata » automated
automatic theory » automatic theorem, automation theory, axiomatic theory
formal language » formal languages
automata » automated