Search alternatives:
automation theory » automata theory, estimation theory, animation theory
automatic theory » automatic theorem, automata theory, axiomatic theory
languages » language

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...'s algorithm -- A matrix-approach for proving inequalities -- Using automatic program synthesizer as a problem...

2
Published 2014
Springer International Publishing
Table of Contents: ... Controlled Language, Ontological Graphs and Dependency Lattices -- Flexary Operators for Formalized...

3
Published 2011
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...