Search alternatives:
"formal language and automated theory" » "formal language and automated theorem", "formal language and automatic theorem", "formal language and automated factory", "formal languages and automated theory"
"formal language and automata theory" » "formal languages and automata theory", "formal language and automatic theory"
"formal language and automated theory" » "formal language and automated theorem", "formal language and automatic theorem", "formal language and automated factory", "formal languages and automated theory"
"formal language and automata theory" » "formal languages and automata theory", "formal language and automatic theory"