Search alternatives:
automated theory » automated theorem, automatic theorem, automated factory
languages » language
automata » automatic
automated theory » automated theorem, automatic theorem, automated factory
languages » language
automata » automatic
|
by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula
Published 2008
Subjects:
“...Formal Languages and Automata Theory...”Published 2008
Springer Netherlands